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