60 citations · 119 across the 21 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.PL2024
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…
cs.CR2024★ 1 cited
Computationally Bounded Robust Compilation and Universally Composable Security
Robert Künnemann, Marco Patrignani, Ethan Cecchetti
Universal Composability (UC) is the gold standard for cryptographic security, but mechanizing proofs of UC is notoriously difficult. A recently-discovered connection between UC and…