@misc{indiciae8787bc668b0f,
  title = {Solver-Aided Constant-Time Circuit Verification},
  author = {Rami Gokhan Kici and Klaus v. Gleissenthall and Deian Stefan and Ranjit Jhala},
  year = {2021},
  url = {https://arxiv.org/abs/2104.00461},
  note = {Source identifier: 2104.00461}
}