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

Abstract

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.

Date
Event
Invited Talk at the Secure Systems Engineering Class
Location
American University in Cairo
Links