@misc{indiciae61da7591a151,
  title = {On Kernel's Safety in the Spectre Era (Extended Version)},
  author = {Davide Davoli and Martin Avanzini and Tamara Rezk},
  year = {2025},
  url = {https://arxiv.org/abs/2406.07278},
  note = {Source identifier: 2406.07278}
}