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

SysV

Lectures

Lectures are recorded and will be published at the beginning of each week.

  • Intro Lecture: [link]
  • Lecture 1: November 29, [link] [slides][Formalization of noninterference].
  • Lecture 2: December 6,   [link] [slides][RG reasoning][Compositional noninterference].
  • Lecture 3: December 13, [link] [slides][Simulation based refinement][Confidentiality preserving refinement][Example].
  • Lecture 4: January 3,       [link] [slides][Validation of obs. models].

 

Q&A Session

The Q&A session runs every week on Wednesday, 15:00 - 17:00 on Zoom. (We start at 15:00 sharp).

We will answer questions that pop up on Askbot (see the menu of the course page), even those that appear in anonymous form.
Participation is strongly recommendedDO ask your questions on Askbot: no questions (up until the Q&A session) means no Q&A.

  • Q&A 1: December 1,   [zoom] [video].
  • Q&A 2: December 8,   [zoom] [video].
  • Q&A 3: December 15, [zoom] [video].
  • Q&A 4: January 6,       [zoom] [video].

Video recordings of the Q&A sessions are available here.

 

Assignments

Assignment must be solved, written and submitted individually. You are allowed to discuss the problems with other classmates, but you must not share any solution in written form. Write the answers in English; be clear, precise, and formal. It is recommended to write the answers in LaTeX. Handwritten answers are also acceptable as long as they are legible. Submit your solution in PDF format on CMS (not by email).

Assignment List:

  • Assignment 1, DeadlineDecember 17, 23:59 [solution]
  • Assignment 2, DeadlineDecember 30, 23:59 [solution]
  • Assignment 3, DeadlineJanuary 14, 23:59 [solution]

 

Exam [Tentative date: February 9 and 10, 2022]

The oral exam is about 25 minutes long and will take place on TBD, on Zoom. 
During the exam, you will have to activate your camera and microphone, identify yourself with a student ID, and be prepared to share your screen if asked to do so. If you have a tablet, you can use that to write your answers to the questions by sharing the screen with me. Otherwise, you can write on a piece of paper and simply show it to the camera. (If you do so, make sure to uncheck the "Mirror my Video" box in Zoom > Preferences > Background & Filters", before the exam starts, please). Since university regulations require to keep a record of oral examinations, the exam will be recorded. The recording will be stored in a private archive until the end of the course and will be deleted afterwards. If you do not want to be recorded, get in touch with the instructor, please.

The exam covers the content of the 4 lectures on SysV (see syllabus above). Your grade will be determined based on three criteria: correctness of the answers, clarity of the explanations, and degree of independence in answering the questions.

Zoom links for the oral exams:  TBD

 

 



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