@misc{indiciae0eee5f54d839,
  title = {(Dis)Proving Spectre Security with Speculation-Passing Style},
  author = {Santiago Arranz-Olmos and Gilles Barthe and Lionel Blatter and Xingyu Xie and Zhiyuan Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2510.11573},
  note = {Source identifier: 2510.11573}
}