Login / Signup

Adversarial symbolic execution for detecting concurrency-related cache timing leaks.

Shengjian GuoMeng WuChao Wang
Published in: ESEC/SIGSOFT FSE (2018)
Keyphrases
  • symbolic execution
  • static analysis
  • test generation
  • high level
  • multi agent
  • concurrency control
  • database
  • data sets
  • metadata
  • database systems
  • data access
  • test data generation