Dr Guido Schmitz

  1. Doctoral Thesis › Research
  2. Privacy-Preserving Web Single Sign-On: Formal Security Analysis and Design

    Schmitz, G., 2019, 322 p.

    Research output: ThesisDoctoral Thesis

  3. Article › Research › Not peer-reviewed
  4. A Comprehensive Formal Security Analysis of OAuth 2.0

    Fett, D., Küsters, R. & Schmitz, G., 6 Jan 2016, In: ArXiv.org.

    Research output: Contribution to journalArticle

  5. Published

    A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification

    Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N. & Würtele, T., 30 Jul 2021, In: IACR Cryptology ePrint Archive.

    Research output: Contribution to journalArticle

  6. An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System

    Fett, D., Küsters, R. & Schmitz, G., 7 Mar 2014, In: ArXiv.org.

    Research output: Contribution to journalArticle

  7. Published

    An In-Depth Symbolic Security Analysis of the ACME Standard

    Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 29 Oct 2021, In: IACR Cryptology ePrint Archive.

    Research output: Contribution to journalArticle

  8. Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web

    Fett, D., Küsters, R. & Schmitz, G., 26 Nov 2014, In: ArXiv.org.

    Research output: Contribution to journalArticle

  9. SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web

    Fett, D., Küsters, R. & Schmitz, G., 7 Aug 2015, In: ArXiv.org.

    Research output: Contribution to journalArticle

  10. The Web SSO Standard OpenID Connect: In-Depth Formal Security Analysis and Security Guidelines

    Fett, D., Küsters, R. & Schmitz, G., 27 Apr 2017, In: ArXiv.org.

    Research output: Contribution to journalArticle

  11. Article › Research › Peer-reviewed
  12. Published

    Privacy-preserving Web single sign-on: Formal security analysis and design

    Schmitz, G., 26 Apr 2022, In: it - Information Technology. 64, 1-2

    Research output: Contribution to journalArticlepeer-review

  13. Chapter › Research
  14. Published

    A Tutorial-Style Introduction to DY

    Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 77-97 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13066 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 Next