www.prismmodelchecker.org
[AVA+17] Arthur Americo, Artur Vaz, Mario S. Alvim, Sergio V. A. Campos and Annabelle McIver. Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. In Proc. Brazilian Symposium on Formal Methods, pages 142-158, Springer. 2017. [Studies information leakage in anonymity protocols, building on probabilistic model checking with PRISM.]
Notes: The original publication is available at www.springerlink.com.

Publications