Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches

Paper

First seen 6/26/2026

Last seen 6/26/2026

Evidence 8 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

20 connections

Glitch-aware leakage model introduces → 92% 2e

They propose a tighter model accounting for glitch propagation termination and formally develop it.

t-probing security uses → 88% 2e

They verify software compliance under t-probing and prove end-to-end t-probing security.

glitch-contracts introduces → 93% 2e

They present the first end-to-end verification tool for transient/glitch-aware leakage contracts and link to the repository.

Graz University of Technology mentions → 95% 1e

Affiliation line in the paper header.

IAIK mentions → 80% 1e

IAIK appears in the affiliation email domain.

RISC-V targets ISA → 92% 1e

They apply their approach to a RISC-V core.

Ibex evaluates → 90% 1e

Case study uses the Ibex processor to demonstrate the method.

RV32I targets ISA → 70% 1e

Text mentions RV32I as a configuration relevant to the model.

2-safety hyperproperty verification uses → 85% 1e

They reuse the 2-safety approach to encode hardware compliance properties.

Symbolic Execution uses → 90% 1e

Symbolic execution is applied to the contract to produce leak sequences.

Masking uses → 82% 1e

Context establishes masking as the countermeasure whose security is being verified end-to-end.

Transition leakage uses → 84% 1e

Transition leakage is explicitly defined and incorporated into the combined model.

Glitch leakage uses → 86% 1e

They formalize and incorporate glitch effects into their leakage model.

Genoa compares with → 84% 1e

Discussion contrasts their methodology and limitations of Genoa-based flow.

scVerif compares with → 82% 1e

Mentions reliance on scVerif in prior leakage contract verification.

MaskVerif compares with → 78% 1e

Survey of related verification tools includes MaskVerif.

Johannes Haring authored by → 100% 1e

Author listing in the paper header.

Coco compares with → 82% 1e

Contrasts Coco’s comprehensive but expensive approach with modular leakage contracts.

Vedad Hadžić authored by → 100% 1e

Author listing in the paper header.

Roderick Bloem authored by → 100% 1e

Author listing in the paper header.