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 Sat Aug 2 02:53:41 2025 CEST.