Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols
David Basin, Cas J. F. Cremers, Jannik Dreier, Ralf Sasse · IEEE Security & Privacy · 2022
Tamarin is a mature, state-of-the-art tool for cryptographic protocol verification. We survey some of the larger tour de force results achieved and show how Tamarin can formalize protocols, adversary models, and properties, and scale to substantial, real world, verification problems.