Formal methods

On the Symbolic Analysis of Security Protocols .... And mainly the Tamarin Prover

In this presentation, we briefly compare the symbolic and computational models for the analysis of security protocols. We give an introduction to the Tamarin prover and how to model protocols in its security protocol theory.