@misc{indiciae3bde7307ad31,
  title = {A Turning Point for Verified Spectre Sandboxing},
  author = {Sunjay Cauligi and Marco Guarnieri and Daniel Moghimi and Deian Stefan and Marco Vassena},
  year = {2022},
  url = {https://arxiv.org/abs/2208.01548},
  note = {Source identifier: 2208.01548}
}