Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich, Joseph Tassarotti. The K2 Architecture for Trustworthy Hardware Security Modules. In Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023. pages 26-32, ACM, 2023. [doi]
Abstract is missing.