| 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 | 61 | 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 | 54 | 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 | 27 | 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 | 18 | 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 | 9 | 2015 |
| Formalizing Security Aspects of the Web Platform in Alloy D Fett, R Küsters Diplomarbeit. Lehrstuhl für Informationssicherheit und Kryptografie …, 2011 | 1 | 2011 |
| An Extensive Formal Security Analysis of the OpenID Financial-grade API D Fett, P Hosseyni, R Küsters arXiv preprint arXiv:1901.11520, 2019 | | 2019 |
| An expressive formal model of the web infrastructure D Fett | | 2018 |
| Pi and more-eine veranstaltungsreihe rund um “kleine computer” D Fett, G Schmitz Informatik 2016, 2016 | | 2016 |
| 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, ... | | |
Guido SchmitzInstitute of Information Security, University of StuttgartBestätigte E-Mail-Adresse bei sec.uni-stuttgart.de