Personal information

Verified email domains

Activities

Employment (4)

Lancaster University Leipzig: Leipzig, DE

2024-01-01 to present | Lecturer (School of Computing and Communications)
Employment
Source: Self-asserted source
Guido Schmitz

Royal Holloway, University of London: Egham, Surrey, GB

2021-12 to 2023-12-31 (Information Security Group)
Employment
Source: Self-asserted source
Guido Schmitz

University of Stuttgart: Stuttgart, DE

2017-01 to 2021-11 (Institute of Information Security)
Employment
Source: Self-asserted source
Guido Schmitz

University of Trier: Trier, DE

2012-08 to 2017-01 (Chair of Information Security and Cryptography)
Employment
Source: Self-asserted source
Guido Schmitz

Works (21)

Layered Symbolic Security Analysis in DY*

28th European Symposium on Research in Computer Security (ESORICS 2023)
2023 | Conference paper
Contributors: Karthikeyan Bhargavan; Abhishek Bichhawat; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Guido Schmitz; Clara Waldmann; Tim Würtele
Source: Self-asserted source
Guido Schmitz
grade
Preferred source (of 2)‎

Layered Symbolic Security Analysis in DY*

Cryptology ePrint Archive
2023-09-08 | Preprint
Contributors: Karthikeyan Bhargavan; Abhishek Bichhawat; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Guido Schmitz; Clara Waldmann; Tim Würtele
Source: Self-asserted source
Guido Schmitz

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

43rd IEEE Symposium on Security and Privacy (S&P 2022)
2022 | Conference paper
Contributors: Quoc Huy Do; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Nils Wenzler; Tim Würtele
Source: Self-asserted source
Guido Schmitz

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

it - Information Technology
2022-04-26 | Journal article
Contributors: Guido Schmitz
Source: check_circle
Crossref

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

2021 | Preprint
Contributors: Quoc Huy Do; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Nils Wenzler; Tim Würtele
Source: Self-asserted source
Guido Schmitz

A Tutorial-Style Introduction to DY*

Protocols, Logic, and Strands: Essays Dedicated to Joshua Guttman on the Occasion of His 66.66 Birthday
2021 | Book chapter
Contributors: Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele
Source: Self-asserted source
Guido Schmitz
grade
Preferred source (of 2)‎

An In-Depth Symbolic Security Analysis of the ACME Standard

2021 | Preprint
Contributors: Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele
Source: Self-asserted source
Guido Schmitz

An In-Depth Symbolic Security Analysis of the ACME Standard

CCS ’21: ACM Conference on Computer and Communications Security, November 14--19, 2021
2021 | Conference paper
Contributors: Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele
Source: Self-asserted source
Guido Schmitz

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

2021 IEEE European Symposium on Security and Privacy (EuroS&P)
2021-09 | Conference paper
Contributors: Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele
Source: Self-asserted source
Guido Schmitz

Privacy-Preserving Web Single Sign-On: Formal Security Analysis and Design

2019-10-30 | Dissertation or Thesis
Contributors: Guido Schmitz
Source: Self-asserted source
Guido Schmitz
grade
Preferred source (of 2)‎

The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines

2017 IEEE 30th Computer Security Foundations Symposium (CSF)
2017-08 | Conference paper
Contributors: Daniel Fett; Ralf Küsters; Guido Schmitz
Source: Self-asserted source
Guido Schmitz
grade
Preferred source (of 3)‎

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

2017-04-27 | Preprint
Contributors: Daniel Fett; Ralf Küsters; Guido Schmitz
Source: Self-asserted source
Guido Schmitz

A comprehensive formal security analysis of OAuth 2.0

Proceedings of the ACM Conference on Computer and Communications Security
2016 | Conference paper
EID:

2-s2.0-84995458933

Part of ISSN: 15437221
Contributors: Fett, D.; Küsters, R.; Schmitz, G.
Source: Self-asserted source
Guido Schmitz via Scopus - Elsevier
grade
Preferred source (of 2)‎

Pi and more - A series of events around "small computers",Pi and More - Eine Veranstaltungsreihe rund um "kleine Computer"

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
2016 | Conference paper
EID:

2-s2.0-85032295648

Part of ISSN: 16175468
Contributors: Fett, D.; Schmitz, G.
Source: Self-asserted source
Guido Schmitz via Scopus - Elsevier

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

Computer Security -- ESORICS 2015
2016-01 | Conference paper
Part of ISSN: 0302-9743
Contributors: Daniel Fett; Ralf Küsters; Guido Schmitz
Source: Self-asserted source
Guido Schmitz
grade
Preferred source (of 3)‎

A Comprehensive Formal Security Analysis of OAuth 2.0

2016-01-06 | Preprint
Contributors: Daniel Fett; Ralf Küsters; Guido Schmitz
Source: Self-asserted source
Guido Schmitz

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

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15
2015 | Conference paper
Contributors: Daniel Fett; Ralf Küsters; Guido Schmitz
Source: Self-asserted source
Guido Schmitz
grade
Preferred source (of 3)‎

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

2015-08-07 | Preprint
Contributors: Daniel Fett; Ralf Küsters; Guido Schmitz
Source: Self-asserted source
Guido Schmitz

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

2014-11-26 | Preprint
Contributors: Daniel Fett; Ralf Küsters; Guido Schmitz
Source: Self-asserted source
Guido Schmitz

An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System

2014 IEEE Symposium on Security and Privacy
2014-05 | Conference paper
Contributors: Daniel Fett; Ralf Küsters; Guido Schmitz
Source: Self-asserted source
Guido Schmitz
grade
Preferred source (of 3)‎

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

2014-03-07 | Preprint
Contributors: Daniel Fett; Ralf Küsters; Guido Schmitz
Source: Self-asserted source
Guido Schmitz