Sign in

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

Goran DoychevBoris KöpfLaurent MauborgneJan 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