Tamarin

The Tamarin prover is an automated tool for symbolic verification of security protocols. This talk gives an overview of Tamarin, covering its usage, theoretical foundations, and applications.