SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection

4 November 2019

Papers citing "SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection"

7 / 7 papers shown

Title
On the Verification of Control Flow Attestation Evidence Adam Caulfield Norrathep Rattanavipanon Ivan De Oliveira Nunes 33 0 0 16 Nov 2024
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time Nicholas Mosier Hamed Nemati John C. Mitchell Caroline Trippel 19 9 0 11 Sep 2023
Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries Ningyu He Zhehao Zhao Jikai Wang Yubin Hu Shengjian Guo Haoyu Wang Guangtai Liang Ding Li Xiangqun Chen Yao Guo 14 12 0 14 Apr 2023
Specognitor: Identifying Spectre Vulnerabilities via Prediction-Aware Symbolic Execution Ali Sahraee 19 0 0 24 Nov 2022
Preventing Timing Side-Channels via Security-Aware Just-In-Time Compilation Qi Qin JulianAndres JiYang Fu Song Taolue Chen Xinyu Xing 18 2 0 26 Feb 2022
Relational Models of Microarchitectures for Formal Security Analyses Nicholas Mosier Hanna Lachnitt Hamed Nemati Caroline Trippel 16 1 0 20 Dec 2021
SoK: Practical Foundations for Software Spectre Defenses Sunjay Cauligi Craig Disselkoen D. Moghimi Gilles Barthe D. Stefan 39 47 0 12 May 2021