Number of items: 2.
Fabian, Xaver and Guarnieri, Marco and Patrignani, Marco
(2022)
Automatic Detection of Speculative Execution Combinations.
(In Press)
Kruse, Matthis and Patrignani, Marco
(2022)
Composing Secure Compilers.
This list was generated on Wed Jan 15 10:39:30 2025 CET.