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:
USENIX Security Symposium (2013)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
malicious code
java card
regular expressions
open source
multi channel
test generation
test suite
prefetching
abstract interpretation
database
data access
object oriented
case study
databases
data sets