Formal analysis of real-world security protocols

Dear Students,

we have released the third exercise sheet today. You can find it under the Materials.

Since the topic on lemmas were only briefly covered in today’s lecture, the exercises on lemmas are optional for bonus points.
If you’d like to complete them, refer to the full slide set or Chapter 6 in the book.

The exercise sheet must be submitted as a team by November 11th at 14:00. If you have any questions, don’t hesitate to ask in the forum.
Please be reminded that submissions must be made in teams of no more than 2 members -- sharing or copying solutions from others is strictly prohibited.