Xaver Fabian

Xaver Fabian

PhD student CISPA Helmholtz Center for Information Security

Publications

You can also find my articles on my Google Scholar profile.

Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks

Xaver Fabian, Marco Patrignani, Marco Guarnieri, Michael Backes

POPL'25, 2025

[arxiv] [acm]

Lifting Compiler Security Properties to Stronger Attackers: the Speculation Case

Xaver Fabian, Marco Guarnieri, Michael Backes

PriSC'24, 2024

Automatic Detection of Speculative Execution Combinations (Distinguished Paper Award)

Xaver Fabian, Marco Guarnieri, Marco Patrignani

CCS'22, 2022

[arxiv] [acm]

Formal Verifiation of Combined Spectre Attacks

Xaver Fabian, Koby Chan, Marco Guarnieri, Marco Patrignani

PLAS'21, 2021