( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard.

, , , , , и . ESORICS (3), том 14346 из Lecture Notes in Computer Science, стр. 222-242. Springer, (2023)

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.

Christian Würtele

Annegret Würtele

Heinrich Würtele

Lothar Würtele

Karlheinz Würtele

 

Другие публикации лиц с тем же именем

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