ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version).

Lesly-Ann Daniel Marton Bognar Job Noorman Sébastien Bardin Tamara Rezk Frank Piessens ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version). 2023 abs/2302.12108 CoRR https://doi.org/10.48550/arXiv.2302.12108 db/journals/corr/corr2302.html#abs-2302-12108