Contact
Universitaetsstrasse 38
70569 Stuttgart
Germany
Room: 2.434
2024
- Pedram Hosseyni, Ralf Küsters, and Tim Würtele, “Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process,” Cryptology ePrint Archive, Technical Report 2024/1540, 2024.
- Pedram Hosseyni, Ralf Küsters, and Tim Würtele, “Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process,” ACM Transactions on Privacy and Security, 2024. To appear.
- 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.
- 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, pp. 589--604.
2023
- 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.
- 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.
- 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.
- 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.
2022
- 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.
2021
- 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.
- 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.
- 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.
- 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.
- 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.
2016
- 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-----