Guido Schmitz
Guido Schmitz
Institute of Information Security, University of Stuttgart
Verified email at sec.uni-stuttgart.de - Homepage
Title
Cited by
Cited by
Year
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
1452016
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
722014
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
502017
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
402015
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
DY*: a modular symbolic verification framework for executable cryptographic protocol code
K Bhargavan, A Bichhawat, Q Do, P Hosseyni, R Küsters, G Schmitz, ...
EuroS&P 2021-6th IEEE European Symposium on Security and Privacy, 2021
2021
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
The system can't perform the operation now. Try again later.
Articles 1–10