Article Dans Une Revue IEEE Security and Privacy Magazine Année : 2022

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

Résumé

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.

Fichier principal
Vignette du fichier
technical-report.pdf (498.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-03586826 , version 1 (24-02-2022)

Licence

Identifiants

Citer

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse. Tamarin: Verification of Large-Scale, Real World, Cryptographic Protocols. IEEE Security and Privacy Magazine, In press, ⟨10.1109/msec.2022.3154689⟩. ⟨hal-03586826⟩
2191 Consultations
3111 Téléchargements

Altmetric

Partager

  • More