@misc{indiciae561816d62e17,
  title = {KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution},
  author = {Guanhua Wang and Sudipta Chattopadhyay and Arnab Kumar Biswas and Tulika Mitra and Abhik Roychoudhury},
  year = {2019},
  url = {https://arxiv.org/abs/1909.00647},
  note = {Source identifier: 1909.00647}
}