Symbolically Analyzing Security Protocols using Tamarin

David Basin; Cas Cremers; Jannik Dreier; Ralf Sasse

doi:10.1145/3157831.3157835

Symbolically Analyzing Security Protocols using Tamarin

David Basin ¹ Cas Cremers ² Jannik Dreier ³ Ralf Sasse ¹

1 D-INFK - Department of Computer Science [ETH Zürich]

2 University of Oxford [Oxford]

3 PESTO - Proof techniques for security protocols

Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods

Document type :

Journal articles

Domain :

Computer Science [cs] / Cryptography and Security [cs.CR]

Liste complète des métadonnées

Cited literature [43 references] Display Hide Download

https://hal.archives-ouvertes.fr/hal-01622110
Contributor : Jannik Dreier <>
Submitted on : Tuesday, October 24, 2017 - 9:54:13 AM
Last modification on : Wednesday, April 3, 2019 - 1:23:07 AM
Document(s) archivé(s) le : Thursday, January 25, 2018 - 12:41:39 PM

tamarin-tool.pdf

Files produced by the author(s)

Symbolically Analyzing Security Protocols using Tamarin

File

Identifiers

Collections

Citation

Export

Metrics

161

409

Contact

Symbolically Analyzing Security Protocols using Tamarin

File

Identifiers

Collections

Citation

Export

Share

Metrics

161

409

Contact