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.
May 12, 2018
Invited Talk at the Secure Systems Engineering Class