PhD Course - Verifying Security Protocols in Tamarin

Organizer:
Carsten Schürmann

Lecturer:
Ralf Sasse, ETH Zurich

Dates of the course:
25.1.2016 ‐ 29.1.2016

Time:
Lectures: 9:00 - 12:00
Labs: 13:00 - 15:00

Room:
4A20

Course description:
The Tamarin prover is a security protocol verification tool that supports both falsification and unbounded verification of security protocols specified as multiset rewriting systems with respect to (temporal) first-order properties and a message theory that models Diffie-Hellman exponentiation combined with a user-defined
subterm-convergent rewriting theory. This course is about the theory, tool, and applications.

Programme:
3 x 50 minutes in the morning

Prerequisites:
A solid understanding of logic, and introductory knowledge to security protocol verification.

Exam:
Attendance + Labs

Credits:
3 ECTS

Amount of hours the student is expected to use on the course:
Participation: 30 hours
Preparation: 30 hours

Participants:
6 - 10 PhD Students

Website:
Can be found here