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]
@inproceedings{DanielBNBRP23,
title = {ProSpeCT: Provably Secure Speculation for the Constant-Time Policy},
author = {Lesly-Ann Daniel and Marton Bognar and Job Noorman and Sébastien Bardin and Tamara Rezk and Frank Piessens},
year = {2023},
url = {https://www.usenix.org/conference/usenixsecurity23/presentation/daniel},
researchr = {https://researchr.org/publication/DanielBNBRP23},
cites = {0},
citedby = {0},
pages = {7161-7178},
booktitle = {32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023},
editor = {Joseph A. Calandrino and Carmela Troncoso},
publisher = {USENIX Association},
}