Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
Abstract
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.
Topics & Concepts
Computer scienceLeakage (economics)Information leakageEmbedded systemImplementationSide channel attackInstruction setAbstractionBranch predictorMicroarchitectureLeak detectionLeakOperating systemParallel computingComputer securityCryptographyProgramming languageEngineeringPhilosophyEnvironmental engineeringEpistemologyMacroeconomicsEconomicsSecurity and Verification in ComputingPhysical Unclonable Functions (PUFs) and Hardware SecurityAdvanced Malware Detection Techniques