Formal Methods in Security Vassena, Nemati, K√ľnnemann

PROTO

Lectures

Lectures are every week on Wednesday, 10:00 - 12:00 on Zoom. (We start at 10:00 sharp).

  • Links to zoom: see timetable.
  • Lecture slides, video recordings and script are in materials.
  • Direct access to video recordings only: here.
Q&A Session

The Q&A session runs every week on Friday, 10:00 - 12:00 via Rocketchat. (We start at 10:00 sharp). #proto (password: protocol-verification).

You can ask questions in written form or via video, they will be answered in short videos. Besides answering questions about the content of the lectures, during the Q&A sessions we will also discuss the exercises together.

Assignments

Exercises are not mandatory. They are graded to give you an idea of your progress. Please provide quality solutions in written form, English or German, clear, precise, formal. Handwritten answers are okay. Submit your solution in PDF format on CMS (not by email). Solve them in groups of any size.

Project

Instead of an exam, this part of the course concludes with a small project.

Rocket Chat

In addition to the Q&A sessions, you can also ask questions on the Rocket Chat channel #proto (password: protocol-verification).



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators