This picture showsPedram 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, “DY*: Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code,” 6th IEEE European Symposium on Security and Privacy (EuroS&P 2021), 2021. To appear.
  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