An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System. - Daniel Fett; Ralf Küsters; Guido Schmitz (IEEE Symposium on Security and Privacy, 2014)

An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System. - Daniel Fett; Ralf Küsters; Guido Schmitz (CoRR, 2014)

SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web. - Daniel Fett; Ralf Küsters; Guido Schmitz (CCS, 2015)

Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web. - Daniel Fett; Ralf Küsters; Guido Schmitz (ESORICS (1), 2015)

A Comprehensive Formal Security Analysis of OAuth 2.0. - Daniel Fett; Ralf Küsters; Guido Schmitz (CCS, 2016)

Pi and More - eine Veranstaltungsreihe rund um "kleine Computer". - Daniel Fett; Guido Schmitz (GI-Jahrestagung, 2016)

The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines. - Daniel Fett; Ralf Küsters; Guido Schmitz (CSF, 2017)

Privacy-preserving web single sign-on: formal security analysis and design. - Guido Schmitz (2019)

A Tutorial-Style Introduction to DY*. - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (Protocols, Strands, and Logic, 2021)

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code. - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (EuroS&P, 2021)

An In-Depth Symbolic Security Analysis of the ACME Standard. - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (IACR Cryptol. ePrint Arch., 2021)

A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. - Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Nils Wenzler; Tim Würtele (IACR Cryptol. ePrint Arch., 2021)

Privacy-preserving Web single sign-on: Formal security analysis and design. - Guido Schmitz (it Inf. Technol., 2022)

Layered Symbolic Security Analysis in $ textsf {DY}^ star $. - Karthikeyan Bhargavan; Abhishek Bichhawat; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Guido Schmitz; Clara Waldmann; Tim Würtele (ESORICS (3), 2023)

Layered Symbolic Security Analysis in DY$^ star$. - Karthikeyan Bhargavan; Abhishek Bichhawat; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Guido Schmitz; Clara Waldmann; Tim Würtele (IACR Cryptol. ePrint Arch., 2023)