Number of items: 2.
Conference or Workshop Item (A Paper)
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 Wed May 15 20:14:00 2024 CEST.