Verifying Hardware Security Modules with Information-Preserving Refinement.

Anish Athalye M. Frans Kaashoek Nickolai Zeldovich Verifying Hardware Security Modules with Information-Preserving Refinement. 503-519 2022 OSDI https://www.usenix.org/conference/osdi22/presentation/athalye conf/osdi/2022 db/conf/osdi/osdi2022.html#AthalyeKZ22