Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks

31 August 2021

Papers citing "Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks"

4 / 4 papers shown

Title
Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version) Hans Winderix Márton Bognár Lesly-Ann Daniel Frank Piessens 50 0 0 05 Sep 2024
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution Guanhua Wang Sudipta Chattopadhyay A. Biswas T. Mitra Abhik Roychoudhury 22 23 0 02 Sep 2019
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface O. Oleksenko Bohdan Trach M. Silberstein Christof Fetzer 17 82 0 24 May 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 26 403 0 13 Nov 2018