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 application/pdf.
Filters
dPHI: An improved high-speed network-layer anonymity protocol
2020
Proceedings on Privacy Enhancing Technologies
Preserved Fulltext
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 software model checking via dynamic interface reduction
2011
Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles - SOSP '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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