Formal analysis of real-world security protocols

Dear Students,

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

The exercise sheet must be submitted as a team by November 25th 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.