Model-based Security Testing: An Empirical Study on OAuth 2.0 Implementations.

Ronghai Yang, Guanchen Li, Wing Cheong Lau, Kehuan Zhang, Pili Hu

Browse the full CCS paper archive.