www.prismmodelchecker.org
[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] http://www.csl.sri.com/users/shmat/
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications