@misc{indiciae58376ace3ad9,
  title = {Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts},
  author = {Stella Lau and Andres Erbsen and Adam Chlipala},
  year = {2026},
  url = {https://arxiv.org/abs/2607.27480},
  note = {Source identifier: 2607.27480}
}