Login / Signup
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
Guanhua Wang
Sudipta Chattopadhyay
Arnab Kumar Biswas
Tulika Mitra
Abhik Roychoudhury
Published in:
CoRR (2019)
Keyphrases
</>
information leakage
symbolic execution
personal information
static analysis
test data generation
test generation
secret information
sensitive information
specification language
source code
data flow
data access
query processing
data sets
third party
software systems
test cases
data model