Formal Methods in Security

SysV: the fourth lecture is out

Written on 02.01.2022 15:41 by Hamed Nemati

The fourth lecture is available now: link (https://drive.google.com/file/d/1GnrphWdqJz5gDe-oFbg1kNbSNcDYPBU5/view?usp=sharing). This lecture we talk about validation of abstract side channel models for computer architectures. The goal of this lecture is to learn about combining formal methods and fuzzing to find bugs in low-level systems.

Supplementary materials:

• Lecture notes (link)
• Validation of obs. models (link)

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