@misc{indiciaeee7189c23a49,
  title = {Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors},
  author = {Zilong Wang and Gideon Mohr and Klaus von Gleissenthall and Jan Reineke and Marco Guarnieri},
  year = {2025},
  url = {https://arxiv.org/abs/2509.06509},
  note = {Source identifier: 2509.06509}
}