Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation.

Anish Athalye, Henry Corrigan-Gibbs, M. Frans Kaashoek, Joseph Tassarotti, Nickolai Zeldovich

Browse the full SOSP paper archive.