Send email Copy Email Address

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


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.

Date published


Date last modified

2023-05-10 09:40:19