Xaver Fabian

According to our database, Xaver Fabian authored at least 3 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Detecting speculative leaks with compositional semantics.

Xaver Fabian, Marco Guarnieri, Boris Köpf, José F. Morales, Marco Patrignani, Jan Reineke, Andrés Sánchez

CoRR, March, 2026

2025

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

Xaver Fabian, Marco Patrignani, Marco Guarnieri, Michael Backes

Proc. ACM Program. Lang., 2025

2022

Automatic Detection of Speculative Execution Combinations.

Xaver Fabian, Marco Guarnieri, Marco Patrignani

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022