Formal analysis of real-world security protocols

Dear Students,

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

To successfully complete the exercise sheet, you will need to have Tamarin installed.
To assist with any installation challenges, we will hold an Office Hour on Friday, 13th December,
from 13:00 to 15:00 in E9.1, Room 0.07. Feel free to drop by if you need help!
 

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