ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)

23 February 2023

Papers citing "ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)"

5 / 5 papers shown

Title
Detecting speculative data flow vulnerabilities using weakest precondition reasoning Graeme Smith 21 0 0 27 Apr 2025
Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs (Extended Version) Ali Hajiabadi Trevor E. Carlson 16 0 0 06 Jun 2024
Okapi: Efficiently Safeguarding Speculative Data Accesses in Sandboxed Environments Philipp Schmitz Tobias Jauch Alex Wezel M. R. Fadiheh T. Tiemann Jonah Heller T. Eisenbarth D. Stoffel W. Kunz 27 0 0 13 Dec 2023
Mitigating Speculation-based Attacks through Configurable Hardware/Software Co-design Ali Hajiabadi Archit Agarwal Andreas Diavastos Trevor E. Carlson 44 1 0 20 Jun 2023
SafeSpec: Banishing the Spectre of a Meltdown with Leakage-Free Speculation Khaled N. Khasawneh Esmaeil Mohammadian Koruyeh Chengyu Song Dmitry Evtyushkin D. Ponomarev Nael B. Abu-Ghazaleh 34 183 0 13 Jun 2018