Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: The TAMARIN Prover for the Symbolic Analysis of Security ProtocolsSimon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin. cav 2013: 696-701 [doi] Symbolically analyzing security protocols using tamarinDavid A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse. siglog, 4(4):19-30, 2017. [doi]
The following publications are possibly variants of this publication: