automated synthesis 1black-box analysis 1CPU microarchitecture 1leakage contracts 1side-channel attacks 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.CR2026
Automated Template-free Synthesis of Instruction-Centric Leakage Contracts for Black-Box CPUs
Elvira Moreno, Tiziano Marinaro, Ryan Williams +4
The paper introduces malcos, a template‑free tool that automatically derives instruction‑centric leakage contracts for black‑box CPUs, enabling precise modeling of microarchitectur…
cs.PL2025
Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
Xaver Fabian, Marco Patrignani, Marco Guarnieri +1
Mainstream compilers implement different countermeasures to prevent specific classes of speculative execution attacks. Unfortunately, these countermeasures either lack formal guara…