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 | 207 | 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 | 94 | 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 | 90 | 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 | 55 | 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 | 35 | 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 | 23 | 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 | 20 | 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 | 11 | 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 | 7 | 2020 |
An expressive formal model of the web infrastructure D Fett | 4 | 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, 2021 | 1 | 2021 |
Pi and more-eine veranstaltungsreihe rund um “kleine computer” D Fett, G Schmitz Informatik 2016, 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 KM zu Selhausen, D Fett | | 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 | | |
CSF 2017 M Alvim, J Alwen, O Arden, M Boreale, I Boureanu, M Chase, ... | | |