TY  - RPRT
TI  - ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)
AU  - Lesly-Ann Daniel
AU  - Marton Bognar
AU  - Job Noorman
AU  - Sébastien Bardin
AU  - Tamara Rezk
AU  - Frank Piessens
PY  - 2023
UR  - https://arxiv.org/abs/2302.12108
ID  - 2302.12108
ER  -