Guido Schmitz

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 17

Top Topics

Authentication Protocol

Image Encryption

Security Analysis

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Publications

Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
Layered Symbolic Security Analysis in $\textsf {DY}^\star $. ESORICS (3) (2023)
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
Layered Symbolic Security Analysis in DY$^\star$. IACR Cryptol. ePrint Arch. 2023 (2023)
Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. IEEE Symposium on Security and Privacy (2022)
Guido Schmitz
Privacy-preserving Web single sign-on: Formal security analysis and design. it Inf. Technol. 64 (1-2) (2022)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
A Tutorial-Style Introduction to DY*. Protocols, Strands, and Logic (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
An In-Depth Symbolic Security Analysis of the ACME Standard. CCS (2021)
Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. IACR Cryptol. ePrint Arch. 2021 (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
An In-Depth Symbolic Security Analysis of the ACME Standard. IACR Cryptol. ePrint Arch. 2021 (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code. EuroS&P (2021)
Daniel Fett, Ralf Küsters, Guido Schmitz
The Web SSO Standard OpenID Connect: In-Depth Formal Security Analysis and Security Guidelines. CoRR (2017)
Daniel Fett, Ralf Küsters, Guido Schmitz
The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines. CSF (2017)
Daniel Fett, Ralf Küsters, Guido Schmitz
A Comprehensive Formal Security Analysis of OAuth 2.0. CCS (2016)
Daniel Fett, Guido Schmitz
Pi and More - eine Veranstaltungsreihe rund um "kleine Computer". GI-Jahrestagung (2016)
Daniel Fett, Ralf Küsters, Guido Schmitz
A Comprehensive Formal Security Analysis of OAuth 2.0. CoRR (2016)
Daniel Fett, Ralf Küsters, Guido Schmitz
Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web. ESORICS (1) (2015)
Daniel Fett, Ralf Küsters, Guido Schmitz
SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web. CCS (2015)
Daniel Fett, Ralf Küsters, Guido Schmitz
SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web. CoRR (2015)
Daniel Fett, Ralf Küsters, Guido Schmitz
An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System. IEEE Symposium on Security and Privacy (2014)
Daniel Fett, Ralf Küsters, Guido Schmitz
An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System. CoRR (2014)
Daniel Fett, Ralf Küsters, Guido Schmitz
Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web. CoRR (2014)