Formal analysis of real-world security protocols

Dear Students,

we have released the sixth and final exercise sheet today. You can find it under the Materials.
The exercise sheet must be submitted as a team by January 6th at 14:00.

To successfully complete the exercise sheet, you will need to have Tamarin installed.
Remember that there will be limited support over the holidays, so make sure to check
the exercises early and potentially ask questions already this week 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.