www.prismmodelchecker.org
[Ste06] G. Steel. Formal Analysis of PIN Block Attacks. Theoretical Computer Science, 367(1-2), pages 257-270, Elsevier. 2006. [bib] http://homepages.inf.ed.ac.uk/gsteel/papers/
Downloads:  bib bib

Publications