TY  - RPRT
TI  - Automated Template-free Synthesis of Instruction-Centric Leakage Contracts for Black-Box CPUs
AU  - Elvira Moreno
AU  - Tiziano Marinaro
AU  - Ryan Williams
AU  - Marco Patrignani
AU  - Roberto Guanciale
AU  - Hamed Nemati
AU  - Marco Guarnieri
PY  - 2026
UR  - https://arxiv.org/abs/2607.15118
ID  - 2607.15118
ER  -