Tim Würtele

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

Password Guessing

Trust Negotiation

Security Analysis

User Authentication

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Publications

Pedram Hosseyni, Ralf Küsters, Tim Würtele
Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process. IACR Cryptol. ePrint Arch. 2024 (2024)
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
Layered Symbolic Security Analysis in $\textsf {DY}^\star $. ESORICS (3) (2023)
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
Layered Symbolic Security Analysis in DY$^\star$. IACR Cryptol. ePrint Arch. 2023 (2023)
Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard. ESORICS (3) (2023)
Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard. IACR Cryptol. ePrint Arch. 2023 (2023)
Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. IEEE Symposium on Security and Privacy (2022)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
A Tutorial-Style Introduction to DY*. Protocols, Strands, and Logic (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
An In-Depth Symbolic Security Analysis of the ACME Standard. CCS (2021)
Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. IACR Cryptol. ePrint Arch. 2021 (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
An In-Depth Symbolic Security Analysis of the ACME Standard. IACR Cryptol. ePrint Arch. 2021 (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code. EuroS&P (2021)
Tilman Dingler, Corinna Giebler, Ulf Kunze, Tim Würtele, Niels Henze, Albrecht Schmidt
Memory displays: investigating the effects of learning in the periphery. PerDis (2016)