A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
As a direct consequence of this analysis we propose a new protocol called dependable PHI (dPHI). ... The security analysis of dPHI includes a detailed quantitative anonymity analysis that compares dPHI with PHI, LAP and HORNET. ... Second, we propose an improved lightweight anonymity protocol named dependable PHI (dPHI) that withstands these attacks. ...doi:10.2478/popets-2020-0054 fatcat:qeqcgfhyyfeqpctr6ny3ua6gpa
practical with the following contributions: (i) proposing dynamic interface reduction, a new state-space reduction technique, (ii) introducing a framework that enables dynamic interface reduction in an ... been running in production data centers for years to manage tens of thousands of machines, DEMETER manages to explore completely a logically meaningful state space that covers both phases of the PAXOS protocol ... Sean McDirmid helped greatly in improving the writing of this paper. Charles E. Killian, Jr. provided valuable information on MACEMC. ...doi:10.1145/2043556.2043582 dblp:conf/sosp/GuoWZHYZ11 fatcat:mpxh3kczhzcb3kpbk353zshycy