Number of items: 2.
Mosier, Nicholas and Eselius, Kate and Nemati, Hamed and Mitchell, John and Trippel, Caroline
(2023)
Hardware-Software Codesign for Mitigating Spectre.
Mosier, Nicholas and Lachnitt, Hanna and Nemati, Hamed and Trippel, Caroline
(2022)
Axiomatic hardware-software contracts for security.
This list was generated on Thu Nov 21 12:44:55 2024 CET.