@misc{indiciae2d2e6f2b3a25,
  title = {Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation},
  author = {Shuai Wang and Yuyan Bao and Xiao Liu and Pei Wang and Danfeng Zhang and Dinghao Wu},
  year = {2019},
  url = {https://arxiv.org/abs/1905.13332},
  note = {Source identifier: 1905.13332}
}