Skip to Main content Skip to Navigation
Journal articles

Tamarin: Verification of Large-Scale, Real World, Cryptographic Protocols

Abstract : Tamarin is a mature, state-of-the-art tool for cryptographic protocol verification. We introduce Tamarin and survey some of the larger, tour-de-force results achieved with it. We also show how Tamarin can formalize a wide range of protocols, adversary models, and properties, and scale to substantial, real-world, verification problems.
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03586826
Contributor : Jannik Dreier Connect in order to contact the contributor
Submitted on : Thursday, February 24, 2022 - 10:42:33 AM
Last modification on : Friday, June 24, 2022 - 2:56:55 PM
Long-term archiving on: : Wednesday, May 25, 2022 - 6:20:37 PM

File

technical-report.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse. Tamarin: Verification of Large-Scale, Real World, Cryptographic Protocols. IEEE Security and Privacy Magazine, Institute of Electrical and Electronics Engineers, inPress, ⟨10.1109/msec.2022.3154689⟩. ⟨hal-03586826⟩

Share

Metrics

Record views

139

Files downloads

239