SysV: the fourth lecture is out
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.
Please make sure to check the lecture before our Q&A session on Wednesday (January 6).