Dieses Bild zeigt Pedram Hosseyni

Pedram Hosseyni

Herr M.Sc.

Ph.D. Student
Institute of Information Security

Kontakt

Universitaetsstrasse 38
70569 Stuttgart
Germany
Raum: 2.438

  1. 2022

    1. Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, und Tim Würtele, „A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification“, in 43rd IEEE Symposium on Security and Privacy (S&P 2022), 2022, Bd. 1, S. 134–153.
  2. 2021

    1. Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, und Tim Würtele, „An In-Depth Symbolic Security Analysis of the ACME Standard“, Cryptology ePrint Archive, Technical Report 2021/1457, 2021.
    2. Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, und Tim Würtele, „A Tutorial-Style Introduction to DY*“, in Protocols, Logic, and Strands: Essays Dedicated to Joshua Guttman on the Occasion of His 66.66 Birthday., Bd. 13066, Springer, 2021, S. 77--97.
    3. Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, und Tim Wuertele, „A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification“, Cryptology ePrint Archive, Technical Report 2021/1012, 2021.
    4. Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, und Tim Würtele, „An In-Depth Symbolic Security Analysis of the ACME Standard“, CCS ’21: ACM Conference on Computer and Communications Security, November 14--19, 2021, Seoul, South Korea, 2021.
    5. Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, und Tim Würtele, „DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code“, 2021 IEEE European Symposium on Security and Privacy (EuroS&P), S. 523--542, 2021.
  3. 2019

    1. Daniel Fett, Pedram Hosseyni, und Ralf Küsters, „An Extensive Formal Security Analysis of the OpenID Financial-grade API“, in 2019 IEEE Symposium on Security and Privacy (S&P 2019), 2019, Bd. 1, S. 1054–1072.
    2. Daniel Fett, Pedram Hosseyni, und Ralf Küsters, „An Extensive Formal Security Analysis of the OpenID Financial-grade API“, arXiv, Technical Report arXiv:1901.11520, 2019. Available at http://arxiv.org/abs/1901.11520.

Umfangreichere Informationen finden Sie auf unserer englischsprachigen Seite.

Zum Seitenanfang