| 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 | 93 | 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 | 62 | 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 | 33 | 2015 |
| 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 | 31 | 2017 |
| 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 | 10 | 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 | 5 | 2019 |
| OAuth 2.0 security best current practice T Lodderstedt, J Bradley, A Labunets, D Fett May, 2018 | 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 |
| An expressive formal model of the web infrastructure D Fett | 1 | 2018 |
| Formalizing Security Aspects of the Web Platform in Alloy D Fett, R Küsters Diplomarbeit. Lehrstuhl für Informationssicherheit und Kryptografie …, 2011 | 1 | 2011 |
| draft-ietf-oauth-security-topics-08 T Lodderstedt, J Bradley, A Labunets, D Fett | | 2018 |
| Pi and more-eine veranstaltungsreihe rund um “kleine computer” D Fett, G Schmitz Informatik 2016, 2016 | | 2016 |
| Fletcher, Christopher 888 Focardi, Riccardo 281 Fogh, Anders AC Aldaya, V Atlidakis, M Backes, S Banerjee, K Barton, AR Beresford, ... | | |
| CSF 2014 P Adão, J Alglave, A Askarov, P Attar, P Baecher, M Barbosa, N Bielova, ... | | |
| 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, ... | | |
Guido SchmitzInstitute of Information Security, University of StuttgartBestätigte E-Mail-Adresse bei sec.uni-stuttgart.de
