@misc{indiciae6bb8eeb6f0b4,
  title = {Towards Efficient Verification of Constant-Time Cryptographic Implementations},
  author = {Luwei Cai and Fu Song and Taolue Chen},
  year = {2024},
  url = {https://arxiv.org/abs/2402.13506},
  note = {Source identifier: 2402.13506}
}