Guido Schmitz
Guido Schmitz
Institute of Information Security, University of Stuttgart
Bestätigte E-Mail-Adresse bei sec.uni-stuttgart.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A Comprehensive Formal Security Analysis of OAuth 2.0
D Fett, R Küsters, G Schmitz
23rd ACM SIGSAC Conference on Computer and Communications Security (CCS 2016 …, 2016
1062016
An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System
D Fett, R Küsters, G Schmitz
35th IEEE Symposium on Security and Privacy (S&P 2014), 673-688, 2014
682014
The Web SSO Standard OpenID Connect: In-Depth Formal Security Analysis and Security Guidelines.
D Fett, R Küsters, G Schmitz
IEEE 30th Computer Security Foundations Symposium (CSF 2017), 2017
402017
SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web
D Fett, R Küsters, G Schmitz
22nd ACM SIGSAC Conference on Computer and Communications Security (CCS 2015 …, 2015
332015
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 (ESORICS 2015), 43-65, 2015
102015
Privacy-preserving web single sign-on: formal security analysis and design
G Schmitz
2019
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
Pi and More—Eine Veranstaltungsreihe rund um “kleine Computer”
D Fett, G Schmitz
Informatik 2016, 46. Jahrestagung der Gesellschaft für Informatik, 1195-1196, 0
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9