Proceedings 2021 Network and Distributed System Security Symposium 2021
DOI: 10.14722/ndss.2021.24286
|View full text |Cite
|
Sign up to set email alerts
|

Hunting the Haunter — Efficient Relational Symbolic Execution for Spectre with Haunted RelSE

Abstract: Spectre are microarchitectural attacks which were made public in January 2018. They allow an attacker to recover secrets by exploiting speculations. Detection of Spectre is particularly important for cryptographic libraries and defenses at the software level have been proposed. Yet, defenses correctness and Spectre detection pose challenges due on one hand to the explosion of the exploration space induced by speculative paths, and on the other hand to the introduction of new Spectre vulnerabilities at differen… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

4
44
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
5
1

Relationship

1
5

Authors

Journals

citations
Cited by 25 publications
(48 citation statements)
references
References 25 publications
4
44
0
Order By: Relevance
“…This section details the experimental protocol set up in [6]. We outline clear research questions and protocol (Section IV-A), we detail the benchmarks used for our evaluation (Section IV-B) and we conclude with general takeaways on our methodology stemming from the software engineering community (Section IV-C).…”
Section: Experimental Protocolmentioning
confidence: 99%
See 4 more Smart Citations
“…This section details the experimental protocol set up in [6]. We outline clear research questions and protocol (Section IV-A), we detail the benchmarks used for our evaluation (Section IV-B) and we conclude with general takeaways on our methodology stemming from the software engineering community (Section IV-C).…”
Section: Experimental Protocolmentioning
confidence: 99%
“…This section presents the experimental results reported in [6] for Spectre-PHT (Section V-A) and Spectre-STL (Section V-B). Performance of BINSEC/HAUNTED are reported on a set of real word cryptographic binaries to answer RQ1; and compared to the baseline Explicit RelSE to answer RQ2.…”
Section: Performance Of Binsec/haunted (Rq1/rq2)mentioning
confidence: 99%
See 3 more Smart Citations