Guido Schmitz

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