Login / Signup
CacheAudit: A Tool for the Static Analysis of Cache Side Channels.
Goran Doychev
Dominik Feld
Boris Köpf
Laurent Mauborgne
Jan Reineke
Published in:
IACR Cryptol. ePrint Arch. (2013)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
malicious code
query processing
java card
data access
data mining
test generation
regular expressions
artificial intelligence
multi channel
main memory
anomaly detection
domain knowledge
real world
abstract interpretation