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
22021
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
22016
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
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
The system can't perform the operation now. Try again later.
Articles 1–5