Automated Template-Free Synthesis of Instruction-Centric Leakage Contracts for Black-Box CPUs

arXiv·low signal

Leakage contracts are an ISA-level security abstraction for reasoning about microarchitectural side-channel leakage, but writing them by hand for modern CPUs is infeasible. This work automatically synthesizes per-instruction leakage contracts for black-box CPUs without predefined templates. Niche but relevant to security engineers and compiler/crypto teams building constant-time code against Spectre-class side channels.