Items where Author is "Do, Quoc Huy"

Contribution in Book/Report/Proceedings

Do, Quoc Huy and Hosseyni, Pedram and Küsters, Ralf and Schmitz, Guido and Wenzler, Nils and Würtele, Tim (2022) A Formal Security Analysis of the W3C Web Payment APIs : Attacks and Verification. In: 43rd IEEE Symposium on Security and Privacy (S&P 2022) :. IEEE. ISBN 9781665413176

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Do, Quoc Huy and Hosseyni, Pedram and Küsters, Ralf and Schmitz, Guido and Würtele, Tim (2021) A Tutorial-Style Introduction to DY*. In: Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Lecture Notes in Computer Science . Springer, Cham, pp. 77-97. ISBN 9783030916305

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Do, Quoc Huy and Hosseyni, Pedram and Küsters, Ralf and Schmitz, Guido and Würtele, Tim (2021) An In-Depth Symbolic Security Analysis of the ACME Standard. In: CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security :. ACM, New York, pp. 2601-2617. ISBN 9781450384544

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Do, Quoc Huy and Hosseyni, Pedram and Küsters, Ralf and Schmitz, Guido and Würtele, Tim (2021) DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code. In: 2021 IEEE European Symposium on Security and Privacy, (Euro S & P) 2021 :. IEEE, pp. 523-542. ISBN 9781665430487

Other

Do, Quoc Huy and Hosseyni, Pedram and Küsters, Ralf and Schmitz, Guido and Wenzler, Nils and Würtele, Tim (2021) A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. UNSPECIFIED.

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Do, Quoc Huy and Hosseyni, Pedram and Küsters, Ralf and Schmitz, Guido and Würtele, Tim (2021) An In-Depth Symbolic Security Analysis of the ACME Standard. UNSPECIFIED.