Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have