ProSpeCT: Provably Secure Speculation for the Constant-Time Policy

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]

Authors

Lesly-Ann Daniel

This author has not been identified. Look up 'Lesly-Ann Daniel' in Google

Marton Bognar

This author has not been identified. Look up 'Marton Bognar' in Google

Job Noorman

This author has not been identified. Look up 'Job Noorman' in Google

Sébastien Bardin

This author has not been identified. Look up 'Sébastien Bardin' in Google

Tamara Rezk

This author has not been identified. Look up 'Tamara Rezk' in Google

Frank Piessens

This author has not been identified. Look up 'Frank Piessens' in Google