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