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,” Cryptology ePrint Archive, Technical Report 2024/078, 2024.
    2. 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), IEEE, 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), Springer, 2023, pp. 222--242.
    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), Springer, 2023, pp. 3--21.
    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), IEEE, 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., 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), ACM, 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), IEEE, 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, ACM, 2016, pp. 118--123.
-----BEGIN PGP PUBLIC KEY BLOCK-----
xsFNBF0u4tYBEACjIH1nnCBd8lZiZtJ0UBWpJJzKmOaiJdv268jkdt20EdrzoAjm
lvIZuOWh16J8fkMLy3/Msehgd9RI+P0fmDa4AIp0slpAhLfAAqMjQWjx4SUnYdmO
O8FI6XCSDb1vNGuhXOhNHIZAG0D8OHiQGZDC9GYYL/ZBe7WOMJvfqpoy2kvfX2xc
3jWsNSzr/Kpl2UL/CvpyVP4SWq4RKjy+xEWcHrWYKpjPbvTcftB/f6wqop257aGG
U3PgEsP2QUgQv9pTJLeClWwzlrQ0CAcOpuIR8YnF1fNvkpPimslrIQH5M4tc/ucz
wXgwSLFDdkW7pUVxokRblCXDOm+17g2OEotqN4h9LEcUEkpLe57RVVU/HuONCUZn
FktqmR7Ld2ZRdOMytirS21Zou61GXDAjdwW2EU1fv1vVI1Bk8J+fAht0HwHcT/hR
cpD5orDAXYwlpYqQmUL4i5fj2tSAR8YO8oNBhBZhm3O3iWD8sp9QMWPktD1rEJb5
EdW8aRi/g22QqG91NG2+apSCUIwxJ1g+XCJDB7zU5Mrs4ScBstaHI4cmGLXIgcMZ
m24lrEkN/Tj/KiDyslWQfKziTNAc2i3hNZPoP+h2ykE0QWRTzN3RRSNjC82Kpcgb
BRkGBVCYhVUMBHFG1dyn6c/bfiojO35xynpZmvt29dRwdksGJAu+A5bNfwARAQAB
zTBUaW0gV8O8cnRlbGUgPHRpbS53dWVydGVsZUBzZWMudW5pLXN0dXR0Z2FydC5k
ZT7CwZQEEwEIAD4WIQRglwh7cst2TwXzN+i+Pjz9/xP60QUCZeGhDwIbIwUJDHSQ
mgULCQgHAgYVCgkICwIEFgIDAQIeAQIXgAAKCRC+Pjz9/xP60YIWD/9ZKZfU4jRg
lw5hc9I7BYIZ6QmGLEPS9+DirFsRAxKW9fNk6mWTaX5qBKC/GL3lMRyYLYWAZb2P
iKDHsaaN/qKNVrDdQgxOKyT1xz/nAKHtPPySmSU3diO94ZD8T7vKBw6WkUzZTiw7
P6/BDF34FvJ84LNiRDaJmHITkoG/STmXzFXZ+OCtorWgk5Jm1z52P57M+/9o1grl
HJuVxXMhdf291ynxtC+JzKUCkSACOrkbRAiCMCN+PawboJAqMelX63O+xLR9Q2mg
Q8TMr3mYFXfuDTX4cZuSN+hJRfFntCFJ5i79DOks5HJC6o5rMPVrF4tamxCpORwG
UPyZmF+8RcMYS3DT0XvIC3YfBaj9zvFDizSMahb+gbNiULXUHwBhsGJPlrGv74TY
e0U2lGgnrjFPGOBd2/4bd3EQmhvLA1v7NdzujoVIToWX46SYM4he8lvU37c/3sq4
IUhOimBbAMg5o5oZnopnHGFiK10g4k2qTGqfCKUspc+iifL4vKQxkG421GTg31Q1
N0WaCC7o72N3gnFYuw/adWYs3t3+Igd7Ic11659J1LTYwEhPx6P8uIntZ2AptucB
aVLtZUnmxSi0U8iom+6Jo093HFKqjQJKm4h3U0wcrZVOermhvNV96tPwGIf7co0N
4Oor24JQAMpe0e3VqdQc8y2R+2CX1W81EcLBlAQTAQgAPhYhBGCXCHtyy3ZPBfM3
6L4+PP3/E/rRBQJdLuLWAhsjBQkJZgGABQsJCAcCBhUKCQgLAgQWAgMBAh4BAheA
AAoJEL4+PP3/E/rReUAQAJQrmr3WzXrvb5nzWQT1g+Mr9W3Nd0YyCqKSSS2W5yra
ZNqFilwyx67d5ihWRA7eF9+EkkptnKZxeAtDxAtKuKdQ4qwqzalnHoNItt5B8wD+
U/2R25SfyIqcqpNkk1V6uEjyqF7Q4qKd4PhBcSOAb6lBRMLX+5CWds59Ksun1m3c
t356DnbnMzA88vtyP6c7U3tXRshAlsfJe2oqy8lyBJiZppKYTFTrCmtHtEko0b9M
B9YtJCwdy+6Td+HaVGKVmPEan0KzUWWx1X9hNtfF4UVIuiWMy/uIcWqQrpTlC6Cj
QQ6E0/vcuAQTLS+Qb2HsZnBMuwZPQ87PFiEWRjF2oyFC8QbjQbEhWNOVWbishWjL
b7+wujeyMHJWrbXFndWLQgzF/gKlSL6WacO/B+4617ni836kDOXQrU3jvSKgsgBd
HtOF45S1p4jes1daen+AncDdGBmGHUsglmlAurv6e0oI/QkGjwAQjkrQ81reTB8o
PJtHMsGkPy1Hua2MDGj4NBzaUSoBrHyXSLqIz2ohFdvEXgbCrBpqAmMRSXMR9vTz
J1qux7G2ddoRLya6GIvAZ5wA9EH5emsjhjiT8DvmXzREmE8k9l5Y4SVwkcRMwYv7
hf72FTW+9gxlsMjl8mkCuJxjeXg2bFfsZG7WuegX2FrE+/ziZBT/V3pEXGD6d/aQ
zsFNBF0u4tYBEADZQlk0kA3x394K8JschD3xarRmONP5fm8qtnQI+2vqqQrFNW0z
+nOdEJAuV8EDsDDvnfThOTSZDFyNzjxi+uWjDQbW9YCIEARepjQNMXX1aetRNaia
JBnbFcLT32+JoSoPp02bMSVNRtCNCS8U/PtTRhT0kexPf+13CahGoZRPyrPHqUU1
eKxw3qFOvGcu9VKWBlwvDuOTpxUih79TuxLwU+pGGoFbYr70uHPa82oaDNRkeGT4
AK05OKgdB6JRzwj+1u3OYg5KLHUt+Q2gFHt41Bk36SPlE+EpmRFvArPs9P/83TWB
YIe/cx1MowWk8/SZK8Kn0CGczGlQybb0x0WxdvVT4MU9N6uyxtSWyxR97aok/j+S
E69is4fXuGJY+3xrFQqWmhMgC+z1mgSP2sjn5F4KfUq3LaSp4hqIYBKQZdWZWYNU
OFhLkloaOlJEO3Isz3qtrXToE6vbSQVaNuAE87MRCb9h25a61toTa+Qjw3Obh3gR
KDII0dpIq+bhgeTHNCJvaJ+VZlXf6yILdK0WY1LqLnoMpylDkt2xSkeRmnuTDbsF
4ZfJbPDljYeHinEeD6KAw0ZHEFkeSq8on+W6vWTfTaMEfCEk3qbgFIs2IQ/9RdoL
jhG0QgpmYWsq42aRXQipI7+NtLxUVHB/sZrgIaBUVLE6Ap726XIQmfABywARAQAB
wsF8BBgBCAAmFiEEYJcIe3LLdk8F8zfovj48/f8T+tEFAmXhoQ8CGwwFCQx0kJoA
CgkQvj48/f8T+tFvQw//ZRgsUU1FunEbuUGD0sR8t2Goqd4T83eJIEDjIClnaL9U
LXzcOJONLycjLsRKHgAEunDwwoMK8pba4YHY06T6xGUqDvg+m+OJDh9mgEtQE4sW
VAsHrcCUXLJ7N5+7bvE/wjOGOklaPRf7hGh4CLY8MomlhnFr+kMuIB7yavkxeJTW
Z0pRJbucDQX/xNpE8qtkLF2WstUfFMt+JlR+0Hs8EW1QtxNkyBgCv9tEaLDZtW0x
kMKrSO+Y2nunjSTOYYZ6COCq2INbxNotfXVkqdlBjqKTU7PCmuh9lC3TwNryw/GW
qwFMzzvHYEOv/DSbRao8Hw9BOxdlv5HaKzRvPqjI/6gQv+EIA51+5igI4uuZXPsM
5PF7Q72mpVupuVBuMNJwdIiTY12Nt/ju/muk64jbMuHA7IyVA6VuI0DR1tLLKyhz
UDOHT2f4Ilf5/S3KATK/GkEQgQU09hO3KLhZ9ISb023zF+shhhFw52JWXlL/3GoO
+wYVyh7FUvOBcerH3cuvrC8jZ136MT/I66ga+Mh/7pIiRC1STGNNoVPirk3bwn2/
25/FBRkxZY3MN6ARTwSRUeSDy0l4TEe53bqiU6Cm1Agnw1QOO9daoaDY0EgWo8pT
bcZZ//zYYy+Layni4CxIp7OkvOFz/5zdaerGxE3IKqSrN2NyFPJo2CzOOWNgx3jC
wXwEGAEIACYWIQRglwh7cst2TwXzN+i+Pjz9/xP60QUCXS7i1gIbDAUJCWYBgAAK
CRC+Pjz9/xP60ecdD/4m2RhSS2tf4OT01DZBG+9s6RkyF+UIt0BC0O8kUgWsplM3
lhnDbbqlV+MzQOYHl+K/azHNKdZJEKgpLGR0LnqJ+O87egMXQQPXLJjoJA1IJWA2
Xsmsbie9HTBy9QbuZrVmdcnVC2Np7RIysQVCO7VAMKXcw1ZpPCqZeUrRr++AHP5v
Mc/xfHP/Ot5sa+hsApkCz5U65JLlRn82Zq037ddGX+5Gc6MVzczMMX4utg0/XalA
Z1Ao7+TzhRUsnXLV1o8WQ3Ym6Vkq0NaD3Hc7vPvShYEOi5OHsgRhTZ9yQjoLWCpw
getdzNnDi0AOZ7e/7AgABpXtfYImmHvrLxt/6X8wetNZLsxZza2TFyMme+xgXRPf
NkFMGXQi4Dd/9w0xoHciEVCC9lWCoL3hFJaUYpN0+15FFzwGpNvTT627TXE00Nim
+maj3J7eQp+7+swXZAyzcNgGUzHQtnbcuk4KcmFQFEjdDy8bcA2nwu80NOeIQl7L
QzuS98O1MDJvznWMo4i/GHnLzZPGWbH4gcyeUC7ILiWDupdtr/sHLniO7iHKDJKw
sc5DPvExxwFsg0rPQWmHFNlygvYwU+F9zdnOGHQgnySalkOdFeR2Ny07wGdi/Un7
XMlVpuxYU3kehJCr6AOOwATJZv8uN8rlyicxWLQGcErskDZ1rOh0lM79vNab/w==
=g6sC
-----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