Lifting Compiler Security Properties to Stronger Attackers: the Speculation Case
Xaver Fabian, Marco Guarnieri, Michael Backes
PriSC'24, 2024
Publications
You can also find my articles on my Google Scholar profile.
Automatic Detection of Speculative Execution Combinations (Distinguished Paper Award)
Xaver Fabian, Marco Guarnieri, Marco Patrignani
CCS'22, 2022