@misc{indiciaeacbc296b19be,
  title = {Detecting speculative leaks with compositional semantics},
  author = {Xaver Fabian and Marco Guarnieri and Boris Köpf and Jose F. Morales and Marco Patrignani and Jan Reineke and Andres Sanchez},
  year = {2026},
  url = {https://arxiv.org/abs/2603.29800},
  note = {Source identifier: 2603.29800}
}