Formal analysis of real-world security protocols

Dear students,

we just released the scores for the first exercise sheet. If you want to have a look at your corrected submission, you can again do so on Monday: Please pick up your sheet before the lecture and return it by the end of the lecture.