Tamjid Al Rahat, Yu Feng 0001, Yuan Tian. Cerberus: Query-driven Scalable Vulnerability Detection in OAuth Service Provider Implementations. In Heng Yin, Angelos Stavrou, Cas Cremers, Elaine Shi, editors, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022. pages 2459-2473, ACM, 2022. [doi]
Abstract is missing.