@misc{indiciaed80a7f13f0c2,
  title = {Constant-Time Wasmtime, for Real This Time: End-to-End Verified Zero-Overhead Constant-Time Programming for the Web and Beyond},
  author = {Garrett Gu and Hovav Shacham},
  year = {2023},
  url = {https://arxiv.org/abs/2311.14246},
  note = {Source identifier: 2311.14246}
}