Number of items: 3.
Fabian, Xaver and Guarnieri, Marco and Patrignani, Marco
(2022)
Automatic Detection of Speculative Execution Combinations.
(In Press)
Patrignani, Marco and Guarnieri, Marco
(2021)
Exorcising Spectres with secure compilers.
Patrignani, Marco and Guarnieri, Marco
(2020)
Exorcising Spectres with Secure Compilers.
This list was generated on Sat Apr 19 14:50:53 2025 CEST.