| A comprehensive formal security analysis of OAuth 2.0 D Fett, R Küsters, G Schmitz Proceedings of the 2016 ACM SIGSAC conference on computer and communications …, 2016 | 249 | 2016 |
| The web sso standard openid connect: In-depth formal security analysis and security guidelines D Fett, R Küsters, G Schmitz 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 189-202, 2017 | 117 | 2017 |
| An expressive model for the web infrastructure: Definition and application to the browser id sso system D Fett, R Küsters, G Schmitz 2014 IEEE Symposium on Security and Privacy, 673-688, 2014 | 100 | 2014 |
| Spresso: A secure, privacy-respecting single sign-on system for the web D Fett, R Küsters, G Schmitz Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015 | 69 | 2015 |
| An extensive formal security analysis of the openid financial-grade api D Fett, P Hosseyni, R Küsters 2019 IEEE Symposium on Security and Privacy (SP), 453-471, 2019 | 48 | 2019 |
| OAuth 2.0 security best current practice T Lodderstedt, J Bradley, A Labunets, D Fett IETF Web Authorization Protocol, Tech. Rep. draft-ietf-oauth-security-topics-16, 2020 | 41 | 2020 |
| Analyzing the BrowserID SSO system with primary identity providers using an expressive model of the web D Fett, R Küsters, G Schmitz Computer Security--ESORICS 2015: 20th European Symposium on Research in …, 2015 | 24 | 2015 |
| OAuth 2.0 Demonstrating of Proof-of-Possession at the Application Layer (DPoP) D Fett, B Campbell, J Bradley, T Lodderstedt, M Jones, D Waite RFC draft, 2020 | 15 | 2020 |
| OAuth 2.0 Security Best Current Practice (draft-ietf-oauth-security-topics-16) T Lodderstedt, J Bradley, A Labunets, D Fett Internet Engineering Task Force (IETF), 2020 | 9 | 2020 |
| Selective Disclosure for JWTs (SD-JWT) D Fett, K Yasuda, B Campbell Internet Engineering Task Force, Internet-Draft draft-ietfoauth-selective …, 2022 | 8 | 2022 |
| An expressive formal model of the web infrastructure D Fett | 7 | 2018 |
| The Web SSO Standard OpenID Connect: In-Depth Formal Analysis and Security Guidelines D Fett, R Küsters, G Schmitz arXiv preprint arXiv:1704.08539, 2017 | 4 | 2017 |
| FAPI 2.0: A high-security profile for OAuth and OpenID connect D Fett Open Identity Summit 2021, 71-82, 2021 | 3 | 2021 |
| Pi and more-eine veranstaltungsreihe rund um “kleine computer” D Fett, G Schmitz Informatik 2016, 1195-1196, 2016 | 1 | 2016 |
| Formalizing Security Aspects of the Web Platform in Alloy D Fett, R Küsters Diplomarbeit. Lehrstuhl für Informationssicherheit und Kryptografie …, 2011 | 1 | 2011 |
| RFC 9207: OAuth 2.0 Authorization Server Issuer Identification K Meyer zu Selhausen, D Fett RFC Editor, 2022 | | 2022 |
| draft-ietf-oauth-security-topics-08 T Lodderstedt, J Bradley, A Labunets, D Fett | | 2018 |
| Fletcher, Christopher 888 Focardi, Riccardo 281 Fogh, Anders AC Aldaya, V Atlidakis, M Backes, S Banerjee, K Barton, AR Beresford, ... | | |
| CSF 2013 P Adão, T Amtoft, M Arapinis, A Askarov, K Bhargavan, NE Bordenabe, ... | | |
| Status Report: Formal Analysis of Web Security K Bhargavan, A Bichhawat, QH Do, D Fett, R Küsters, G Schmitz | | |
Guido SchmitzRoyal Holloway University of London, Information Security GroupVerified email at rhul.ac.uk
