works on
automated synthesis 1black-box analysis 1CPU microarchitecture 1leakage contracts 1side-channel attacks 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

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…