Formal analysis of real-world security protocols

Dear students,

we just released the scores for the fourth exercise sheet. You can inspect your corrected submissions as usual before the lecture next Monday.