Formal Methods in Security

SysV: the second lecture is out

Written on 06.12.2020 11:38 by Hamed Nemati

The second lecture is available now: link (https://dl.cispa.de/s/ct8Jo4iMwC3bogT). This lecture we talk about compositional reasoning and learn about some of the techniques that are used in practice to decompose large scale system verification.

Supplementary materials:

• Lecture notes (link)
• Rely-Guarantee style reasoning (link)
• Compositional noninterference (link)

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