TY  - RPRT
TI  - (Dis)Proving Spectre Security with Speculation-Passing Style
AU  - Santiago Arranz-Olmos
AU  - Gilles Barthe
AU  - Lionel Blatter
AU  - Xingyu Xie
AU  - Zhiyuan Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2510.11573
ID  - 2510.11573
ER  -