An Extensive Formal Security Analysis of the OpenID Financial-Grade API. - Daniel Fett; Pedram Hosseyni; Ralf Küsters (IEEE Symposium on Security and Privacy, 2019)

A Tutorial-Style Introduction to DY*. - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (Protocols, Strands, and Logic, 2021)

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code. - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (EuroS&P, 2021)

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

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

Layered Symbolic Security Analysis in $ textsf {DY}^ star $. - Karthikeyan Bhargavan; Abhishek Bichhawat; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Guido Schmitz; Clara Waldmann; Tim Würtele (ESORICS (3), 2023)

Layered Symbolic Security Analysis in DY$^ star$. - Karthikeyan Bhargavan; Abhishek Bichhawat; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Guido Schmitz; Clara Waldmann; Tim Würtele (IACR Cryptol. ePrint Arch., 2023)

The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard. - Florian Helmschmidt; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Clara Waldmann; Tim Würtele (IACR Cryptol. ePrint Arch., 2023)

Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process. - Pedram Hosseyni; Ralf Küsters; Tim Würtele (IACR Cryptol. ePrint Arch., 2024)

Audience Injection Attacks: A New Class of Attacks on Web-Based Authorization and Authentication Standards. - Pedram Hosseyni; Ralf Küsters; Tim Würtele (IACR Cryptol. ePrint Arch., 2025)

Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process. - Pedram Hosseyni; Ralf Küsters; Tim Würtele (ACM Trans. Priv. Secur., 2025)