Dear students,
The slides for the remaining classes of the hardware security model are available in the cloud directory (files security-course-hwsecmodule-lecture_3.pdf, security-course-hwsecmodule-lecture_4.pdf, and security-course-hwsecmodule-lecture_5.pdf).
As always, to access the cloud directory you can use the following link/password:
https://cloud.software.imdea.org/index.php/s/zQweKHLpadbJyPE Password: s3cUrityR0cks
The remaining reading assignments are the following: - Aslan Askarov — Language-based information-flow basics Available at https://github.com/aslanix/SmallStepNI/blob/master/infoflow-basics.pdf - Kocher et al. — Spectre Attacks: Exploiting Speculative Execution Available at https://spectreattack.com/spectre.pdf - Guarnieri et al. — Spectector: Principled detection of speculative information flows Available at https://spectector.github.io/papers/spectector.pdf
Please also remember to fill in the course evaluation at https://servicios.upm.es/encuestas by Dec 22 23:59.
Enjoy your holidays!
Best regards, Marco
computer-security-2023-2024@software.imdea.org