@misc{indiciae9d1a10af3305,
  title = {Automated Repair of OpenID Connect Programs (Extended Version)},
  author = {Tamjid Al Rahat and Yanju Chen and Yu Feng and Yuan Tian},
  year = {2025},
  url = {https://arxiv.org/abs/2510.02773},
  note = {Source identifier: 2510.02773}
}