Send email Copy Email Address
2022-05-04

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

Summary

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

2022-05-04

Date last modified

2023-05-10 09:40:19