@misc{indiciaebbc28b4e9cd1,
  title = {Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code},
  author = {Ferhat Erata and Ruzica Piskac and Victor Mateu and Jakub Szefer},
  year = {2023},
  doi = {10.1109/eurosp57164.2023.00047},
  url = {https://arxiv.org/abs/2304.02102},
  note = {Source identifier: 2304.02102}
}