This image shows Pedram Hosseyni

M.Sc.

Pedram Hosseyni

Ph.D. Student
Institute of Information Security

Contact

+49 711 685-88454

Universitaetsstrasse 38
70569 Stuttgart
Germany
Room: 2.438

  1. 2022

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

    1. Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and Tim Würtele, “A Tutorial-Style Introduction to DY*,” Protocols, Logic, and Strands: Essays Dedicated to Joshua Guttman on the Occasion of His 66.66 Birthday., 2021. To appear.
    2. Quoc Huy Do, Pedram Hosseyni, Ralf Kuesters, Guido Schmitz, Nils Wenzler, and Tim Wuertele, “A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification,” Cryptology ePrint Archive, Technical Report 2021/1012, 2021.
    3. Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and 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. To appear.
    4. Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and Tim Würtele, “DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code,” 2021 IEEE European Symposium on Security and Privacy (EuroS&P), pp. 523--542, 2021.
  3. 2019

    1. Daniel Fett, Pedram Hosseyni, and 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, vol. 1, pp. 1054–1072.
    2. Daniel Fett, Pedram Hosseyni, and 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.

Are you a student and want to write a thesis / carry out a project at the SEC?

To the top of the page