Work

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

Year: 2023

Type: conference-paper

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.

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

DOI: 10.1145/3576915.3623192

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: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funders: Intel Corporation, European Commission, Ministerio de Ciencia e Innovación, European Research Council

Awards: G1735481591, G434337789, G5838856463, G8347645112, G8920660035