Tim Würtele

Orcid: 0000-0002-4729-0629

According to our database1, Tim Würtele authored at least 9 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process.
IACR Cryptol. ePrint Arch., 2024

2023
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard.
IACR Cryptol. ePrint Arch., 2023

Layered Symbolic Security Analysis in DY$^\star$.
IACR Cryptol. ePrint Arch., 2023

Layered Symbolic Security Analysis in $\textsf {DY}^\star $.
Proceedings of the Computer Security - ESORICS 2023, 2023

2021
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification.
IACR Cryptol. ePrint Arch., 2021

An In-Depth Symbolic Security Analysis of the ACME Standard.
IACR Cryptol. ePrint Arch., 2021

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code.
Proceedings of the IEEE European Symposium on Security and Privacy, 2021

A Tutorial-Style Introduction to DY*.
Proceedings of the Protocols, Strands, and Logic, 2021

2016
Memory displays: investigating the effects of learning in the periphery.
Proceedings of the 5th ACM International Symposium on Pervasive Displays, 2016


  Loading...