ResearchTrend.AI
Detecting speculative data flow vulnerabilities using weakest precondition reasoning

Detecting speculative data flow vulnerabilities using weakest precondition reasoning

Graeme Smith
ArXiv (abs)PDFHTML

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

5 / 5 papers shown
Title
Automatic Detection of Speculative Execution Combinations
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
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
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
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
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
56
408
0
13 Nov 2018

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.