Skip to content
STIMSMITH

glitch-contracts

Tool
First seen 6/26/2026
Last seen 6/26/2026
Evidence 2 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

2 connections
Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches ← introduces 93% 2e
They present the first end-to-end verification tool for transient/glitch-aware leakage contracts and link to the repository.
IAIK published by → 50% 1e
Repository URL indicates hosting by the IAIK organization.