@misc{indiciaeb2464bd25f07,
  title = {Cerberus: Query-driven Scalable Vulnerability Detection in OAuth Service Provider Implementations},
  author = {Tamjid Al Rahat and Yu Feng and Yuan Tian},
  year = {2023},
  doi = {10.1145/3548606.3559381},
  url = {https://arxiv.org/abs/2110.01005},
  note = {Source identifier: 2110.01005}
}