Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
Zilong Wang, Gideon Mohr, Klaus v. Gleissenthall, Jan Reineke, Marco Guarnieri · 2023
Leakage contracts have recently been proposed as a new security abstraction at the Instruction Set Architecture (ISA) level. Leakage contracts aim to capture the information that processors leak through their microarchitectural implementations. However, so far, we lack a methodology to verify that a processor actually satisfies a given leakage contract.