Tim Würtele

16 papers A* 2A 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Audience Injection Attacks: A New Class of Attacks on Web-Based Authorization and Authentication Standards.
IACR Cryptol. ePrint Arch.
Pedram Hosseyni, Ralf Küsters, Tim Würtele
2025 J jnl
Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process.
ACM Trans. Priv. Secur.
Pedram Hosseyni, Ralf Küsters, Tim Würtele
2024 J jnl
Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process.
IACR Cryptol. ePrint Arch.
Pedram Hosseyni, Ralf Küsters, Tim Würtele
2024 A conf
Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process.
CSF
Pedram Hosseyni, Ralf Küsters, Tim Würtele
2024 J jnl
Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process.
IACR Cryptol. ePrint Arch.
Pedram Hosseyni, Ralf Küsters, Tim Würtele
2023 — conf
Layered Symbolic Security Analysis in $\textsf {DY}^\star $.
ESORICS (3)
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
2023 J jnl
Layered Symbolic Security Analysis in DY$^\star$.
IACR Cryptol. ePrint Arch.
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
2023 — conf
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard.
ESORICS (3)
Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele
2023 J jnl
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard.
IACR Cryptol. ePrint Arch.
Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele
2022 A* conf
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification.
SP
Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele
2021 J jnl
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification.
IACR Cryptol. ePrint Arch.
Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele
2021 — conf
A Tutorial-Style Introduction to DY*.
Protocols, Strands, and Logic
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
2021 A* conf
An In-Depth Symbolic Security Analysis of the ACME Standard.
CCS
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
2021 J jnl
An In-Depth Symbolic Security Analysis of the ACME Standard.
IACR Cryptol. ePrint Arch.
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
2021 A conf
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code.
EuroS&P
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
2016 — conf
Memory displays: investigating the effects of learning in the periphery.
PerDis
Tilman Dingler, Corinna Giebler, Ulf Kunze, Tim Würtele, Niels Henze, Albrecht Schmidt