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 Thu Jan 30 18:21:27 2025 CET.