@misc{indiciaeb273e1489508,
  title = {SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection},
  author = {Shengjian Guo and Yueqi Chen and Peng Li and Yueqiang Cheng and Huibo Wang and Meng Wu and Zhiqiang Zuo},
  year = {2020},
  url = {https://arxiv.org/abs/1911.00507},
  note = {Source identifier: 1911.00507}
}