Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich. Verifying Hardware Security Modules with Information-Preserving Refinement. In Marcos K. Aguilera, Hakim Weatherspoon, editors, 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, Carlsbad, CA, USA, July 11-13, 2022. pages 503-519, USENIX Association, 2022. [doi]
Abstract is missing.