Automatic Detection of Speculative Execution Combinations

2 September 2022

Papers citing "Automatic Detection of Speculative Execution Combinations"

6 / 6 papers shown

Title
Detecting speculative data flow vulnerabilities using weakest precondition reasoning Graeme Smith 21 0 0 27 Apr 2025
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors Gideon Mohr Marco Guarnieri Jan Reineke 28 3 0 17 Jan 2024
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time Nicholas Mosier Hamed Nemati John C. Mitchell Caroline Trippel 25 9 0 11 Sep 2023
This is How You Lose the Transient Execution War Allison Randal 26 4 0 06 Sep 2023
Secure Composition of Robust and Optimising Compilers Matthis Kruse Michael Backes Marco Patrignani 22 1 0 17 Jul 2023
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts Zilong Wang Gideon Mohr Klaus von Gleissenthall Jan Reineke Marco Guarnieri 24 23 0 11 May 2023