SysV
Lectures
- Intro Lecture: [link]
- Lecture 1: November 2, [Recorded Lecture] [slides] [Formalization of noninterference].
- Lecture 2: November 9, [Recorded Lecture] [slides] [RG reasoning][Compositional noninterference].
- Lecture 3: November 16, [Recorded Lecture] [slides] [Simulation based refinement][Confidentiality preserving refinement][Example].
- Lecture 4: November 23, [Recorded Lecture] [slides][Validation of obs. models].
Q&A Session
The Q&A session runs every week on Monday 16:00 - 18:00 (We start at 14:00 sharp) (Exception: we start at 16:30 on 13.11.2023 and 20.11.2023).
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 recommended.
Assignments
Assignments 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, Deadline: November 16, 23:59 [solution]
- Assignment 2, Deadline: November 30, 23:59 [solution]
- Assignment 3, Deadline: December 15, 23:59 [solution]
Exam [Tentative date: February 19, 2024]
The exam will be in person.