Notice

This record is in review state, the data has not yet been validated.

𝜇CFI: Formal Verification of Microarchitectural Control-flow Integrity

Thumbnail
Author
Ceesay-Seitz, Katharina
Solt, Flavien
Razavi, Kaveh
Date
2024-10
Type
    Conference Paper
Event
Computational Social Science (CSS), Santa Fe, NM, USA
Organisational unit
09721 - Razavi, Kaveh / Razavi, Kaveh  
More
Show all metadata
ETH Bibliography
yes
Altmetrics