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 Feb 25 22:39:01 2026 CET.