Verifying Hardware Security Modules with Information-Preserving Refinement.

Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich

Browse the full OSDI paper archive.