Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks.

Shengjian Guo Meng Wu Chao Wang

Published in: CoRR (2018)

Keyphrases

symbolic execution
data flow
static analysis
relational databases
data access
test generation
genetic algorithm
high level
convergence speed
test data generation