Folgen
Tim Würtele
Tim Würtele
Bestätigte E-Mail-Adresse bei sec.uni-stuttgart.de
Titel
Zitiert von
Zitiert von
Jahr
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
14*2021
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
52021
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
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
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
2*2021
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
QH Do, P Hosseyni, R Kuesters, G Schmitz, N Wenzler, T Würtele
Cryptology ePrint Archive, 2021
12021
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
Q Do, P Hosseyni, R Küsters, G Schmitz, N Wenzler, T Würtele
2022 IEEE Symposium on Security and Privacy (SP), 2022
2022
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9