| 2023 | ESORICS | Layered Symbolic Security Analysis in $\textsf {DY}^\star $. | Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Ksters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Wrtele |
| 2022 | SP | A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. | Quoc Huy Do, Pedram Hosseyni, Ralf Ksters, Guido Schmitz, Nils Wenzler, Tim Wrtele |
| 2021 | CCS | An In-Depth Symbolic Security Analysis of the ACME Standard. | Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Ksters, Guido Schmitz, Tim Wrtele |
| 2016 | CCS | A Comprehensive Formal Security Analysis of OAuth 2.0. | Daniel Fett, Ralf Ksters, Guido Schmitz |
| 2016 | GI | Pi and More - eine Veranstaltungsreihe rund um "kleine Computer". | Daniel Fett, Guido Schmitz |
| 2015 | CCS | SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web. | Daniel Fett, Ralf Ksters, Guido Schmitz |
| 2015 | ESORICS | Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web. | Daniel Fett, Ralf Ksters, Guido Schmitz |
| 2014 | SP | An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System. | Daniel Fett, Ralf Ksters, Guido Schmitz |