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:
ACM Trans. Softw. Eng. Methodol. (2020)
Keyphrases
</>
information leakage
symbolic execution
personal information
static analysis
test generation
test data generation
source code
specification language
secret information
sensitive information
data access
query processing
metadata
test cases
data flow