Cerberus: Query-driven Scalable Vulnerability Detection in OAuth Service Provider Implementations

Tamjid Al Rahat, Yu Feng, Yuan Tian

OAuth protocols have been widely adopted to simplify user authentication and service authorization for third-party applications. However, little effort has been devoted to automati…