Work

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

Year: 2025

Type: conference-paper

Abstract: 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 leak via microarchitectural side channels. Recently, the first tools have emerged to verify whether a processor satisfies a given contract. However, coming up with a contract that is both sound and precise for a given processor is challenging, time-consuming, and error-prone, as it requires in-depth knowledge of the timing side channels introduced by microarchitectural optimizations.

Source: ACM SIGSAC Conference on Computer and Communications Security (CCS)

DOI: 10.1145/3719027.3765148

Authors: Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri

Institutions: IMDEA Software Institute, Universidad Politécnica de Madrid, Saarland University, Vrije Universiteit Amsterdam

Language: English

Topic: Security and Verification in Computing

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funder: European Research Council

Award: G8296023032