Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel. Axiomatic hardware-software contracts for security. In Valentina Salapura, Mohamed Zahran 0001, Fred Chong, Lingjia Tang, editors, ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18 - 22, 2022. pages 72-86, ACM, 2022. [doi]
Abstract is missing.