Ronghai Yang, Wing Cheong Lau, Jiongyi Chen, Kehuan Zhang. Vetting Single Sign-On SDK Implementations via Symbolic Reasoning. In William Enck, Adrienne Porter Felt, editors, 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17, 2018. pages 1459-1474, USENIX Association, 2018. [doi]
Abstract is missing.