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 Fri Apr 26 01:14:40 2024 CEST.