Formal Methods in Security

SysV: the first lecture is out

Written on 28.11.2021 10:17 by Hamed Nemati

The first lecture is available now: link (https://dl.cispa.de/s/qDoPwpjRwwfcLXr). This lecture we talk about preliminaries and try to set the stage for the other lectures.

Supplementary materials:

• Lecture notes (link)
• Formalisation  of the noninterference property and the unwinding theorem (link)

Please make sure to check the lecture before our Q/A session on Wednesday (Dec. 1).