Formal analysis of real-world security protocols

Dear Students,

please remember the midterm exam next week! Here is a summary of the key facts:

Time and Place

• 08.12.2025, 14:00; exam starts at 14:15 sharp!
• 90min duration
• E9 1, 0.05

What to Bring

• a permanent pen (no pencils or erasable ink)
• your student ID with picture, or additional photo ID

Rules

• closed-book (no notes, textbooks, etc.)
• Passing the midterm is required to pass the course

    
We also uploaded the slides of the lecture recap; please have a look, but remember that this is just a summary and does not cover the lecture contents in sufficient detail for the midterm.

If you have any question, please use the forum or reach out to us at farwsp@cispa.de. Best of luck, and see you next Monday!

Dear students,

a brief update on the lecture plan for the remainder of the semester:

• Next Monday, 01.12.2025, instead of a lecture we offer an Office Hour (usual time and place); we will give a brief recap about the topics covered so far and will answer your questions about the exercise sheets and lecture contents.
• On Monday, 08.12.2025, we have the midterm; it will cover contents from lectures 0 through 3. Don't forget to register for the midterm in the CMS!
• The week after that, 15.12.2025, we proceed with lecture 4 and will publish exercise sheet #4, which is due on 05.01.2026.
• The project will start as planned on 12.01.2026 and has to be submitted by 06.03.2026.

Dear students,

unfortunately, we have to cancel today's lecture. We will let you know how this impacts the lecture plan and the contents of the midterm as soon as we know more.
This also means that there will be no new exercise sheet released today. The deadline for exercise sheet #3 remains today, 2pm.
We will still provide feedback on and answer questions about exercise sheet #2 starting today at 2pm in E9 1, 0.05. Alternatively, you can also have a look at your submission during next week's office hour.

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!