Formal Verification of Combined Spectre Attacks
Xaver Fabian, Koby Chan, Marco Guarnieri, Marco Patrignani
PLAS'21, 2021
Posts by Collection
portfolio
publications
Automatic Detection of Speculative Execution Combinations (Distinguished Paper Award)
Xaver Fabian, Marco Guarnieri, Marco Patrignani
CCS'22, 2022
[arxiv] [acm]Lifting Compiler Security Properties to Stronger Attackers: the Speculation Case
Xaver Fabian, Marco Guarnieri, Michael Backes
PriSC'24, 2024
Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks
Xaver Fabian, Marco Patrignani, Marco Guarnieri, Michael Backes
POPL'25, 2025
[arxiv] [acm]