Formal analysis of real-world security protocols

Dear students,

we just released the scores for the third exercise sheet. You can inspect your corrected submissions during Monday's office hour; we will also give a brief recap on the midterm contents.