Personal information

Countries

Germany

Activities

Collapse all

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
DOI: 10.1145/3699716
Contributors: Pedram Hosseyni; Ralf Küsters; Tim Würtele
Source: check_circle
Crossref

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

2024 | Book chapter
DOI: 10.1007/978-3-031-51479-1_1
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
DOI: 10.1007/978-3-031-51479-1_12
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
DOI: 10.1109/SP46214.2022.00009
Source: Self-asserted source
Tim Würtele

A Tutorial-Style Introduction to DY*

Protocols, Strands, and Logic
2021 | Book chapter
DOI: 10.1007/978-3-030-91631-2_4
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
DOI: 10.1145/3460120.3484588
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
DOI: 10.1109/eurosp51992.2021.00042
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
How many people are using ORCID?