( en | de | ru )

 

Disambiguierung von "Würtele, Tim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Layered Symbolic Security Analysis in $DY^$.

, , , , , , , und . ESORICS (3), Volume 14346 von Lecture Notes in Computer Science, Seite 3-21. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christian Würtele

Annegret Würtele

Heinrich Würtele

Lothar Würtele

Karlheinz Würtele

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process., , und . IACR Cryptol. ePrint Arch., (2024)An In-Depth Symbolic Security Analysis of the ACME Standard., , , , , , und . CCS, Seite 2601-2617. ACM, (2021)A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification., , , , , und . IACR Cryptol. ePrint Arch., (2021)A Tutorial-Style Introduction to DY*., , , , , , und . Protocols, Strands, and Logic, Volume 13066 von Lecture Notes in Computer Science, Seite 77-97. Springer, (2021)DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code., , , , , , und . EuroS&P, Seite 523-542. IEEE, (2021)Layered Symbolic Security Analysis in DY$^\star$., , , , , , , und . IACR Cryptol. ePrint Arch., (2023)A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification., , , , , und . SP, Seite 215-234. IEEE, (2022)The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard., , , , , und . ESORICS (3), Volume 14346 von Lecture Notes in Computer Science, Seite 222-242. Springer, (2023)Layered Symbolic Security Analysis in $DY^$., , , , , , , und . ESORICS (3), Volume 14346 von Lecture Notes in Computer Science, Seite 3-21. Springer, (2023)