ResearchTrend.AI
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
ArXivPDFHTML

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

3 / 3 papers shown
Title
Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version)
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
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution
Guanhua Wang
Sudipta Chattopadhyay
A. Biswas
T. Mitra
Abhik Roychoudhury
16
23
0
02 Sep 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
24
403
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.