Teapot statically rewrites COTS binaries into separate normal and speculation-simulation code paths and fuzzes them to discover Spectre-V1 gadgets without source code.
Bernat and Barton P
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries
Teapot statically rewrites COTS binaries into separate normal and speculation-simulation code paths and fuzzes them to discover Spectre-V1 gadgets without source code.