USENIX Security '23 - ProSpeCT: Provably Secure Speculation for the Constant-Time Policy
▶USENIX Security '23 - ProSpeCT: Provably Secure Speculation for the Constant-Time Policy — a USENIX security conference talk on policy-legal (12:16 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube