Relational Models of Microarchitectures for Formal Security Analyses

Nicholas Mosier, Hanna Lachnitt, Hamed Nemati +1

There is a growing need for hardware-software contracts which precisely define the implications of microarchitecture on software security-i.e., security contracts. It is our view t…