Tamarin: Verification of Large-Scale, Real World, Cryptographic Protocols - Archive ouverte HAL Access content directly
Journal Articles IEEE Security and Privacy Magazine Year : 2022

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.
Fichier principal
Vignette du fichier
technical-report.pdf (498.56 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
419 View
569 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More