Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

Sander Huyghebaert, Steven Keuchel, Coen De Roover +1

Progress has recently been made on specifying instruction set architectures (ISAs) in executable formalisms rather than through prose. However, to date, those formal specifications…