Personal information

Germany

Activities

Employment (1)

University of Stuttgart: Stuttgart, DE

(Institute of Information Security - SEC)
Employment
Source: Self-asserted source
Tim Würtele

Works (7)

Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process

ACM Transactions on Privacy and Security
2025-02-28 | Journal article
Contributors: Pedram Hosseyni; Ralf Küsters; Tim Würtele
Source: check_circle
Crossref

Layered Symbolic Security Analysis in $$\textsf {DY}^\star $$

2024 | Book chapter
Contributors: Karthikeyan Bhargavan; Abhishek Bichhawat; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Guido Schmitz; Clara Waldmann; Tim Würtele
Source: check_circle
Crossref

The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard

2024 | Book chapter
Contributors: Florian Helmschmidt; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Clara Waldmann; Tim Würtele
Source: check_circle
Crossref

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

2022 IEEE Symposium on Security and Privacy (SP)
2022 | Conference paper
Source: Self-asserted source
Tim Würtele

A Tutorial-Style Introduction to DY*

Protocols, Strands, and Logic
2021 | Book chapter
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Tim Würtele
grade
Preferred source (of 2)‎

An In-Depth Symbolic Security Analysis of the ACME Standard

Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
2021-11-12 | Conference paper
Source: Self-asserted source
Tim Würtele

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
Tim Würtele