Follow
Tim Würtele
Tim Würtele
Verified email at sec.uni-stuttgart.de
Title
Cited by
Cited by
Year
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
K Bhargavan, A Bichhawat, Q Do, P Hosseyni, R Küsters, G Schmitz, ...
EuroS&P 2021-6th IEEE European Symposium on Security and Privacy, 2021
35*2021
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
QH Do, P Hosseyni, R Küsters, G Schmitz, N Wenzler, T Würtele
2022 IEEE Symposium on Security and Privacy (SP), 215-234, 2022
122022
An in-depth symbolic security analysis of the ACME standard
K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
122021
A Tutorial-Style Introduction to DY★
K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
Protocols, Logic, and Strands: Essays Dedicated to Joshua Guttman on the …, 2021
52021
DY⋆ Code Repository
K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
URL: https://github. com/reprosec/dolev-yao-star, 2021
42021
Memory displays: investigating the effects of learning in the periphery
T Dingler, C Giebler, U Kunze, T Wűrtele, N Henze, A Schmidt
Proceedings of the 5th ACM International Symposium on Pervasive Displays …, 2016
42016
Formal Security Analysis of the OpenID Financial-grade API 2.0
P Hosseyni, R Küsters, T Würtele
2
Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process
P Hosseyni, R Küsters, T Würtele
Cryptology ePrint Archive, 2024
12024
The grant negotiation and authorization protocol: attacking, fixing, and verifying an emerging standard
F Helmschmidt, P Hosseyni, R Küsters, K Pruiksma, C Waldmann, ...
European Symposium on Research in Computer Security, 222-242, 2023
12023
Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process
P Hosseyni, R Küsters, T Würtele
37th IEEE Computer Security Foundations Symposium (CSF 2024), 2024
2024
Formal security analysis of the OpenID FAPI 2.0 Security Profile with FAPI 2.0 Message Signing, FAPI-CIBA, Dynamic Client Registration and Management: technical report
P Hosseyni, R Küsters, T Würtele
2023
Layered Symbolic Security Analysis in DY
K Bhargavan, A Bichhawat, P Hosseyni, R Kuesters, K Pruiksma, ...
Cryptology ePrint Archive, 2023
2023
Entwurf und Analyse eines sicheren und effizienten Bulletin Board auf Basis von Blockchains
T Würtele
2018
Kompression von numerischen Datensätzen mittels mehrdimensionaler hierarchischer Teilraumschemata
T Würtele
2016
The system can't perform the operation now. Try again later.
Articles 1–14