CacheAudit: A Tool for the Static Analysis of Cache Side Channels.

Goran Doychev Boris Köpf Laurent Mauborgne Jan Reineke

Published in: ACM Trans. Inf. Syst. Secur. (2015)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
java card
test generation
regular expressions
abstract interpretation
real world
open source
test suite