Formal analysis of real-world security protocols

Dear students,

we just released the slides of today's lectures and the third exercise sheet. Please note that this week's sheet again contains a few bonus exercises.