Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors

Zilong Wang, Gideon Mohr, Klaus von Gleissenthall +2

Leakage contracts have been proposed as a new security abstraction at the instruction set architecture level. Leakage contracts aim to capture the information that processors may l…