An Extensive Formal Security Analysis of the OpenID Financial-grade API

31 January 2019

Papers citing "An Extensive Formal Security Analysis of the OpenID Financial-grade API"

7 / 7 papers shown

Title
The Web SSO Standard OpenID Connect: In-Depth Formal Security Analysis and Security Guidelines Daniel Fett Ralf Küsters G. Schmitz 36 79 0 27 Apr 2017
A Comprehensive Formal Security Analysis of OAuth 2.0 Daniel Fett Ralf Küsters G. Schmitz 40 201 0 06 Jan 2016
On the security of modern Single Sign-On Protocols: Second-Order Vulnerabilities in OpenID Connect Vladislav Mladenov Christian Mainka Jörg Schwenk AAML 33 17 0 18 Aug 2015
SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web Daniel Fett Ralf Küsters G. Schmitz 44 54 0 07 Aug 2015
Analysing the Security of Google's implementation of OpenID Connect Wanpeng Li C. Mitchell 39 64 0 07 Aug 2015
Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web Daniel Fett Ralf Küsters G. Schmitz 47 21 0 26 Nov 2014
An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System Daniel Fett Ralf Küsters G. Schmitz 52 79 0 07 Mar 2014