Formal analysis of real-world security protocols

Lecture 1: Slides & Exercise Sheet

Written on 26.10.26 by Aurora Naska

Dear students,

we just uploaded the slides of today's lectures and the first exercise sheet.
 

Room Change: Lecture on 26.10 moved to Room 0.02

Written on 20.10.26 by Aurora Naska

Dear students,

The next lecture happening on 26.10 has moved to room 0.02, in E9 1 (CISPA building).

Lecture Slides and Teams

Written on 20.10.26 by Aurora Naska

Dear students,

The lecture slides are now uploaded. You can find them under Information/Materials in the CMS.

Additionally, you may team up with one other student and submit the exercises in pairs. Feel free to use the forum to find your teammate and register your team in the CMS.