An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System. - Daniel Fett; Ralf Küsters; Guido Schmitz (IEEE Symposium on Security and Privacy, 2014)

An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System. - Daniel Fett; Ralf Küsters; Guido Schmitz (CoRR, 2014)

SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web. - Daniel Fett; Ralf Küsters; Guido Schmitz (CCS, 2015)

Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web. - Daniel Fett; Ralf Küsters; Guido Schmitz (ESORICS (1), 2015)

A Comprehensive Formal Security Analysis of OAuth 2.0. - Daniel Fett; Ralf Küsters; Guido Schmitz (CCS, 2016)

Pi and More - eine Veranstaltungsreihe rund um "kleine Computer". - Daniel Fett; Guido Schmitz (GI-Jahrestagung, 2016)

The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines. - Daniel Fett; Ralf Küsters; Guido Schmitz (CSF, 2017)

An expressive formal model of the web infrastructure. - Daniel Fett (2018)

An Extensive Formal Security Analysis of the OpenID Financial-Grade API. - Daniel Fett; Pedram Hosseyni; Ralf Küsters (IEEE Symposium on Security and Privacy, 2019)

FAPI 2.0: A High-Security Profile for OAuth and OpenID Connect. - Daniel Fett (Open Identity Summit, 2021)

OAuth 2.0 Authorization Server Issuer Identification. - Karsten Meyer zu Selhausen; Daniel Fett (RFC, 2022)

OAuth 2.0 Demonstrating Proof of Possession (DPoP). - Daniel Fett; Brian Campbell 005; John Bradley; Torsten Lodderstedt; Michael B. Jones; David Waite (RFC, 2023)

Best Current Practice for OAuth 2.0 Security. - Torsten Lodderstedt; John Bradley; Andrey Labunets; Daniel Fett (RFC, 2025)