Symbolic security analysis using the Tamarin prover

Cas Cremers. Symbolic security analysis using the Tamarin prover. In Daryl Stewart, Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. pages 5, IEEE, 2017. [doi]

No reviews for this publication, yet.