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


SysV: the first lecture is out

Written: 29.11.2020 10:37 Written By: Hamed Nemati

The first lecture is available now: link ( 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. 2).

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