TY  - RPRT
TI  - Detecting speculative leaks with compositional semantics
AU  - Xaver Fabian
AU  - Marco Guarnieri
AU  - Boris Köpf
AU  - Jose F. Morales
AU  - Marco Patrignani
AU  - Jan Reineke
AU  - Andres Sanchez
PY  - 2026
UR  - https://arxiv.org/abs/2603.29800
ID  - 2603.29800
ER  -