Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols
David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
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.
Topics & Concepts
Cryptographic protocolComputer scienceCryptographic primitiveCryptographyProtocol (science)AdversaryScale (ratio)State (computer science)Computer securityTheoretical computer scienceGeographyProgramming languageCartographyMedicineAlternative medicinePathologyAdvanced Authentication Protocols SecurityUser Authentication and Security SystemsCryptographic Implementations and Security