Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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