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

News

SysV: the third lecture is out

Written: 12.12.2021 11:33
Modified: 12.12.2021 14:26
Written By: Hamed Nemati

The third lecture is available now: link (https://drive.google.com/file/d/192NHl94rTGki3Qedtq4BSvxKsxX2qFZY/view?usp=sharing). This lecture we talk about refinement based reasoning and learn how to use a step-wise approach to simplify verification of a large scale system.

Supplementary materials:

  • Lecture notes (link)
  • Simulation based refinement (link). Important sections are :
    • section 2.1: Notions of semantic preservation
    • section 3.4: Traces
    • section 3.5: Transition semantics
  • Confidentiality preserving refinement (link)
  • [Optional] Example on how to apply refinement based verification on a real system (link)

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



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