Collected research

Vetting Single Sign-On SDK Implementations via Symbolic Reasoning

Ronghai Yang, Wing Cheong Lau, Jiongyi Chen and Kehuan Zhang · usenix.org

S3KVetter models Single Sign-On SDKs symbolically and tests them for logical correctness rather than for crashes. Applied to ten widely deployed SSO SDKs it found seven classes of logic flaw, four previously unknown, enabling anything from tracking a user's activity to hijacking their account.

Record

Researcher

Ronghai Yang, Wing Cheong Lau, Jiongyi Chen and Kehuan Zhang

Published by

usenix.org

Topic

Other

In the archive

• Collected in the 2018 research round

Related sources

• USENIX Security '18 - Vetting Single Sign-On SDK Implementations via Symbolic Reasoning

Tags

• sso
• oauth
• auth-bypass
• openid
• formal-analysis
• static-analysis
• tooling
• owasp-a01-2021
• owasp-a07-2021

This page is the archive's own catalogue record. The research is the work of Ronghai Yang, Wing Cheong Lau, Jiongyi Chen and Kehuan Zhang, first published at the original source. Preserved copies are kept so the citation survives its host; this one was last captured on 19 August 2026.