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)

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: Accompanying a Standardization Process - Pedram Hosseyni; Ralf Küsters; Tim Würtele (37th IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, July 8-12, 2024, 2024)

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)

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

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 (Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III, 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 (Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III, 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)

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)

A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification - Quoc Huy Do; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Nils Wenzler; Tim Würtele (43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022, 2022)

A Tutorial-Style Introduction to DY* - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday, 2021)

An In-Depth Symbolic Security Analysis of the ACME Standard - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021, 2021)

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (IEEE European Symposium on Security and Privacy, EuroS&P 2021, Vienna, Austria, September 6-10, 2021, 2021)

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

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

Memory displays: investigating the effects of learning in the periphery - Tilman Dingler; Corinna Giebler; Ulf Kunze; Tim Würtele; Niels Henze; Albrecht Schmidt (Proceedings of the 5th ACM International Symposium on Pervasive Displays, PerDis 2016, Oulu, Finland, June 20 - 22, 2016, 2016)