@misc{indiciae6746ea89f02d,
  title = {Automated Template-free Synthesis of Instruction-Centric Leakage Contracts for Black-Box CPUs},
  author = {Elvira Moreno and Tiziano Marinaro and Ryan Williams and Marco Patrignani and Roberto Guanciale and Hamed Nemati and Marco Guarnieri},
  year = {2026},
  url = {https://arxiv.org/abs/2607.15118},
  note = {Source identifier: 2607.15118}
}