Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts

Zilong Wang, Gideon Mohr, Klaus von Gleissenthall +2

Leakage contracts have recently been proposed as a new security abstraction at the Instruction Set Architecture (ISA) level. Such contracts aim to faithfully capture the informatio…