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…