Folgen
Guido Schmitz
Guido Schmitz
Royal Holloway University of London, Information Security Group
Bestätigte E-Mail-Adresse bei rhul.ac.uk - 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
1812016
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
822014
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
762017
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
452015
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
152015
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
14*2021
An in-depth symbolic security analysis of the ACME standard
K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
32021
A Tutorial-Style Introduction to DY*
K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
Protocols, Logic, and Strands: Essays Dedicated to Joshua Guttman on the …, 2021
2*2021
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
QH Do, P Hosseyni, R Kuesters, G Schmitz, N Wenzler, T Würtele
Cryptology ePrint Archive, 2021
22021
Privacy-preserving web single sign-on: formal security analysis and design
G Schmitz
22019
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
1*
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13