The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines
Towards a Formal Foundation of Web Security