Folgen
Guido Schmitz
Guido Schmitz
Lancaster University Leipzig
Bestätigte E-Mail-Adresse bei lancaster.ac.uk
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
2682016
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
1262017
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
1052014
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
732015
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
41*2021
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
282015
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
QH Do, P Hosseyni, R Küsters, G Schmitz, N Wenzler, T Würtele
2022 IEEE Symposium on Security and Privacy (SP), 215-234, 2022
142022
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
122021
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
52021
Privacy-preserving Web single sign-on: Formal security analysis and design
G Schmitz
it-Information Technology 64 (1-2), 43-48, 2022
22022
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*
Layered Symbolic Security Analysis in DY
K Bhargavan, A Bichhawat, P Hosseyni, R Kuesters, K Pruiksma, ...
Cryptology ePrint Archive, 2023
2023
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15