Formal Methods in Security

SysV: the fourth lecture is out

Written on 03.01.2021 10:52 by Hamed Nemati

The fourth lecture is available now: link (https://dl.cispa.de/s/twYqAqGjGxSo8pt). 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 6).