Login / Signup

CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation.

Robert BrotzmanShen LiuDanfeng ZhangGang TanMahmut T. Kandemir
Published in: IEEE Symposium on Security and Privacy (2019)
Keyphrases
  • symbolic execution
  • test data generation
  • static analysis
  • specification language
  • high level
  • database systems
  • search algorithm
  • query processing
  • query language
  • source code
  • integrity constraints