@misc{indiciaea494f0fb2b1e,
  title = {Cache Refinement Type for Side-Channel Detection of Cryptographic Software},
  author = {Ke Jiang and Yuyan Bao and Shuai Wang and Zhibo Liu and Tianwei Zhang},
  year = {2022},
  doi = {10.1145/3548606.3560672},
  url = {https://arxiv.org/abs/2209.04610},
  note = {Source identifier: 2209.04610}
}