@misc{indiciaecfac8663b697,
  title = {Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers},
  author = {Owen Conoly and Andres Erbsen and Adam Chlipala},
  year = {2025},
  url = {https://arxiv.org/abs/2504.15550},
  note = {Source identifier: 2504.15550}
}