Formal Methods in Security Vassena, Nemati, K√ľnnemann

News

SysV: the fourth lecture is out

Written: 03.01.2021 10:52 Written 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).



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators