Detecting speculative data flow vulnerabilities using weakest precondition reasoning

27 April 2025

Papers citing "Detecting speculative data flow vulnerabilities using weakest precondition reasoning"

5 / 5 papers shown

Title
Automatic Detection of Speculative Execution Combinations Xaver Fabian Marco Guarnieri Marco Patrignani LRM 102 25 0 02 Sep 2022
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks Hernán Ponce de León Johannes Kinder 47 30 0 31 Aug 2021
SoK: Practical Foundations for Software Spectre Defenses Sunjay Cauligi Craig Disselkoen D. Moghimi Gilles Barthe D. Stefan 54 47 0 12 May 2021
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations J. Almeida M. Barbosa Gilles Barthe B. Grégoire Adrien Koutsos Vincent Laporte Tiago Oliveira Pierre-Yves Strub 37 64 0 09 Apr 2019
A Systematic Evaluation of Transient Execution Attacks and Defenses Claudio Canella Jo Van Bulck Michael Schwarz Moritz Lipp Benjamin von Berg Philipp Ortner Frank Piessens Dmitry Evtyushkin Daniel Gruss 57 408 0 13 Nov 2018