ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.
-
Updated
Oct 29, 2024 - C
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.
Tools to exercise the Linux kernel mitigation for CVE-2018-3639 (aka Variant 4) using the Speculative Store Bypass Disable (SSBD) feature of x86 processors
Branchboozle exposes a hidden 3-bit PHT in modern BPUs.
Speculative malloc with arbitrary heap growth
Add a description, image, and links to the speculation topic page so that developers can more easily learn about it.
To associate your repository with the speculation topic, visit your repo's landing page and select "manage topics."