Axiomatic hardware-software contracts for security
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel[doi] [Google Scholar] [DBLP] [Citeseer] [url]
ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18 - 22, 2022
ACM
Pages 72-86
2022
ACM
Pages 72-86
2022