www.prismmodelchecker.org
HomeAboutDownloadsDocumentationManualTutorialLecturesPublicationsCase StudiesSupport
[DSS04] R. Dingledine, V. Shmatikov and P. Syverson. Synchronous Batching: From Cascades to Free Routes. In Proc. 4th Workshop on Privacy Enhancing Technologies (PET). May 2004. [bib]
Downloads:  bib bib

Publications