TY  - RPRT
TI  - Decompiling for Constant-Time Analysis
AU  - Santiago Arranz-Olmos
AU  - Gilles Barthe
AU  - Lionel Blatter
AU  - Youcef Bouzid
AU  - Sören van der Wall
AU  - Zhiyuan Zhang
PY  - 2026
DO  - 10.5281/zenodo.18749373
UR  - https://arxiv.org/abs/2501.04183
ID  - 2501.04183
ER  -