2 papers
cs.CR2026
Detecting speculative leaks with compositional semantics
Xaver Fabian, Marco Guarnieri, Boris Köpf +4
Speculative execution enhances processor performance by predicting intermediate results and executing instructions based on these predictions. However, incorrect predictions can le…
cs.PL2025
Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
Xaver Fabian, Marco Patrignani, Marco Guarnieri +1
Mainstream compilers implement different countermeasures to prevent specific classes of speculative execution attacks. Unfortunately, these countermeasures either lack formal guara…