Items where Author is "Hosseyni, Pedram"

Contribution in Book/Report/Proceedings

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Hosseyni, Pedram and Küsters, Ralf and Pruiksma, Klaas and Schmitz, Guido and Waldmann, Clara and Würtele, Tim (2024) Layered Symbolic Security Analysis in DY*. In: Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, 2023, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . UNSPECIFIED, pp. 3-21. ISBN 9783031514784

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

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Hosseyni, Pedram and Küsters, Ralf and Pruiksma, Klaas and Schmitz, Guido and Waldmann, Clara and Würtele, Tim (2023) Layered Symbolic Security Analysis in DY*. UNSPECIFIED.

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.