Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens. ProSpeCT: Provably Secure Speculation for the Constant-Time Policy. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 7161-7178, USENIX Association, 2023. [doi]
Abstract is missing.