This image shows Tim Würtele

Tim Würtele

M.Sc.

Ph.D. Student
Institute of Information Security

Contact

Universitaetsstrasse 38
70569 Stuttgart
Germany
Room: 2.434

  1. 2024

    1. Pedram Hosseyni, Ralf Küsters, and Tim Würtele, “Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process,” in 37th IEEE Computer Security Foundations Symposium (CSF 2024), 2024. To appear.
  2. 2023

    1. Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, and Tim Würtele, “The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard,” in 28th European Symposium on Research in Computer Security (ESORICS 2023), 2023. To appear.
    2. Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, and Tim Würtele, “The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard,” Cryptology ePrint Archive, Technical Report 2023/1325, 2023.
    3. Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, and Tim Würtele, “Layered Symbolic Security Analysis in DY*,” in 28th European Symposium on Research in Computer Security (ESORICS 2023), 2023. To appear.
    4. Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, and Tim Würtele, “Layered Symbolic Security Analysis in DY*,” Cryptology ePrint Archive, Technical Report 2023/1329, 2023.
  3. 2022

    1. Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, and Tim Würtele, “A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification,” in 43rd IEEE Symposium on Security and Privacy (S&P 2022), 2022, pp. 134–153.
  4. 2021

    1. Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and Tim Würtele, “An In-Depth Symbolic Security Analysis of the ACME Standard,” Cryptology ePrint Archive, Technical Report 2021/1457, 2021.
    2. Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and Tim Würtele, “A Tutorial-Style Introduction to DY*,” in Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of His 66.66 Birthday., vol. 13066, D. Dougherty, J. Meseguer, S. A. Mödersheim, and P. Rowe, Eds. Springer, 2021, pp. 77--97.
    3. Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, and Tim Würtele, “A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification,” Cryptology ePrint Archive, Technical Report 2021/1012, 2021.
    4. Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and Tim Würtele, “An In-Depth Symbolic Security Analysis of the ACME Standard,” in ACM Conference on Computer and Communications Security (CCS 2021), 2021, pp. 2601–2617.
    5. Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and Tim Würtele, “DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code,” in IEEE European Symposium on Security and Privacy (EuroS&P 2021), 2021, pp. 523–542.
  5. 2016

    1. Tilman Dingler, Corinna Giebler, Ulf Kunze, Tim Würtele, Niels Henze, and Albrecht Schmidt, “Memory displays: investigating the effects of learning in the periphery,” in Proceedings of the 5th ACM International Symposium on Pervasive Displays, PerDis 2016, Oulu, Finland, June 20 - 22, 2016, 2016, pp. 118--123.
-----BEGIN PGP PUBLIC KEY BLOCK-----

mQGNBFtz/b8BDADi/NJ2BwjTghKard+kEk4vz7tqzaT2XAwhBELSOcpP2OMCr3c/
afmeNoLvnz0nTyX+fM58vIm2Kn6Y0E1zMjMPkgWcsMzCOywiGqPCUYkt/lBIpoJO
ble4Eo8krGUhZQLvmFGgki2k/kefwQ3o50YYWU8P5Iv//moknkUBRybBxAkpLQ8F
CBtKvsT1RAT7bvfY4nK4CVPiF9Nq/AGIQfLdw0OI1xtBYvmSXhVhn1Ku/n02VGt0
KkLzNpBXDZMLnLLlYLpjSH+FMfz3QdgQbI3OhciWMj68iLjXKUnD653iwUy3Q0Jc
F0k9uzFrAH+QPI+bofJBULoAzYJpf+flvAoU3O6N6aJsHsQbkv+tGWnK+M2zRnAr
aVypWIWdIh18MmoE0x5C353KoLpDxblmiFvovJxh4RkWChSu1H0RvSw5rxq8bDCn
1m5eLMccJGMG3wyxY4XJIh+Rya5aqZi9/D4STYAKRUuXOV38uUpGvopAR39dgaFL
SxJzqu+nGH6nI5MAEQEAAbQwVGltIFfDvHJ0ZWxlIDx0aW0ud3VlcnRlbGVAc2Vj
LnVuaS1zdHV0dGdhcnQuZGU+iQHUBBMBCAA+FiEErxhCNK+hevgDx5qz/M/aqbNZ
SsUFAltz/cECGwMFCQHhM4AFCwkIBwIGFQoJCAsCBBYCAwECHgECF4AACgkQ/M/a
qbNZSsX2gwwAn6a1bP1RnvL9tMsuzveXKnDfAgaIyIRqFiokavwNFj6muojac4yw
XpBzAbGppKu+xxQAwKI3lw4KXPRVOy+Oome9IYl0B4gAK1Z9mSocn3HYZRxlhD9H
ERpWwvcr0f16Ntj3MZC18e3avN9Ez8cbdLEVD1AS+pZgK9OYwOQfJglkyWzcTE60
I9O1JMrK3//n6sThOWL/3JpEgjYZ5VgBJs9lESNrqfqamGXhQ0LcRaakoVonnYgo
lxF/uRTjwFCfhs09uTOIFeTP7qE3l59RZf+n4gzfYvLaCGAUXck4ejRhrdTLa4oI
U8lZn5KRMPGsLP9zNWseou0kpgnFUwVh6UNLgI/J9zl0iDpsYVbyqKXvWbDOI7CM
Cyz7q9sDBG0crmd+s2R67Z+f9gK4MO4MKdQmdLTnFD6aL4qnjXNic2SsHMZCzIQ4
Mu+xxf0SSoq+nL4o4pitNouSi2M/ObCiRcSSXS+ARJwiMr5V4RuGBJzNgqCMrG21
gRu2SMG0C1VYuQGNBFtz/cABDADZxveGbnHtnqJVPpvspqOM+v702fOJIVG2mD1k
6Ao7dYoUk2Jz6cngus39JqcfNLBzy3wqymCH73aD7Odu/h0ex7F79Ug++cgVdUl9
YlN6VsxFhgTh81LssqUwV+2/aRW5boHLU9ZAv4mrSZdFD58JMjznmV7vfNF+neCU
NuZbHTziS5hzDq5sA736QY3WN8N1+hllwAM4L9fMEnOmPbtuwG4jf69nxCxwnqf8
vAS4hE0n7aNndV+Z/X03Fn1vOy73Og3En92bLJJAgMFJgP8vhF9OxIh6cF3Epx6r
0obP4z5hAHdlfqfSEY99GjlbEoGkP1UVV0nEPwmUfYwqSHvb8UcfcHqeUJC7TU01
ED+UZRGQK+BZTttlDctQZnaXIWWtKUFhF0goOOtAXkrd/WskrCxmtJC44FzRdtf3
28eb7643olBlyQCnbrMCCcfkLTGUvfD892RgAbN6HpPCJ4+sa/g6N3bdfnWUF3rb
BQ95AUZ6RTHVwAGo2r6AIdFoCy0AEQEAAYkBvAQYAQgAJhYhBK8YQjSvoXr4A8ea
s/zP2qmzWUrFBQJbc/3AAhsMBQkB4TOAAAoJEPzP2qmzWUrFh4wL/RJ7/J3z9Nnt
UEjp7uzpQoojtpV9XJZvaHpvqm254U6yMMXm8Fvug7qk6mhcltZDAgk/XkctpKOv
+2zat1ihipGFt5Oir5tefj7j0zfWL9ZX+n0yhFN0aCHD3k3E3lTLfZ2C0DuLYooP
f654xxrCZ8HcMWYp/dVfGaXuj2hEMMdz8FRhv6RwU/Obydgr0Nzk/NGuO/to+zsF
3QCkkzU8upL+76wGNdr6haxo8YARbGDSSYkrSXNbFd3KvqNS49eTAOD4F+D/5ekM
lVZhlSfbzk5lKCX0PbnGWcKC5jWtWOYdpWOjDFJp4dvmfyUbf93ozuyeXOLsZGb5
9VFE/HqeY/ejn9LHR9o5HxU7Fluepok243ENEwiSVoLnovADh6Pc3H4kw9sQSmUS
F4dSFosTE6m84G+HKWD01SRfeVCSRHezPJ+bdV/w4KltSJeHrtNdigf5TqhudncK
v/PFapB0OyWGXj775e7q7+Zcidv6lHUqfijxDHa+mdoQRnLHfrnvjA==
=0s1Z
-----END PGP PUBLIC KEY BLOCK-----

Are you a student and want to write a thesis / carry out a project at the SEC?

To the top of the page