SpecDoctor: Differential Fuzz Testing to Find Transient Execution Vulnerabilities.

Jaewon Hur Suhwan Song Sunwoo Kim Byoungyoung Lee

Published in: CCS (2022)

Keyphrases

testing process
steady state
information security
symbolic execution
data sets
software testing
code generation
decision trees
countermeasures
information systems
multi agent
video sequences
query optimization
security vulnerabilities