Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.

Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese

Browse the full CCS paper archive.