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 do so on Monday: Please pick up your sheet before the lecture and return it by the end of the lecture.
For all future submissions, please make sure to follow the instructions at the top of the exercise sheets; we retain the right to deduct points or not consider a submission if these instructions are ignored repeatedly.

Dear students,

we just released the slides of today's lectures, the second exercise sheet and some additional material on unification. Please note that exercise 3 on this week's sheet is a bonus exercise and does not count to the maximum number of points; for more details see the instructions on the sheet itself.

Dear students,

our lecture will take place Mondays, 14-16h c.t. in E9 1, room 0.05, starting on October 27th, 2025. Course details and important dates are now available on the CMS main page and will shortly be added to the calendar.

As we have already reached the participant limit, we would also like to ask everybody who is not planning to actively participate in the course to unregister and give other students the opportunity to join this lecture. Thanks a lot for your understanding!