Coverage-Guided Pre-Silicon Fuzzing of Open-Source Processors based on Leakage Contracts

Gideon Geier, Pariya Hajipour, Jan Reineke

Hardware-software leakage contracts have emerged as a formalism for specifying side-channel security guarantees of modern processors, yet verifying that a complex hardware design c…