Login / Signup
SpecuSym: speculative symbolic execution for cache timing leak detection.
Shengjian Guo
Yueqi Chen
Peng Li
Yueqiang Cheng
Huibo Wang
Meng Wu
Zhiqiang Zuo
Published in:
ICSE (2020)
Keyphrases
</>
symbolic execution
leak detection
static analysis
test generation
test data generation
specification language
source code
data flow
neural network
query processing
artificial intelligence
evolutionary algorithm
simulated annealing algorithm