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 | 179 | 2016 |
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 | 81 | 2014 |
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 | 76 | 2017 |
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 | 44 | 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 | 26 | 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 | 16 | 2020 |
Analyzing the BrowserID SSO system with primary identity providers using an expressive model of the web D Fett, R Küsters, G Schmitz European Symposium on Research in Computer Security, 43-65, 2015 | 13 | 2015 |
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 | 5 | 2020 |
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 |
An expressive formal model of the web infrastructure D Fett | 2 | 2018 |
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 |
FAPI 2.0: A High-Security Profile for OAuth and OpenID Connect D Fett Open Identity Summit 2021, 2021 | | 2021 |
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, ... | | |
CSF 2012 M Arapinis, A Askarov, N Broberg, M Bugliesi, S Calzavara, P Cerny, ... | | |