@misc{indiciaea9fff2434935,
  title = {Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks},
  author = {Shengjian Guo and Meng Wu and Chao Wang},
  year = {2018},
  url = {https://arxiv.org/abs/1807.03280},
  note = {Source identifier: 1807.03280}
}