Items where Author is "Küsters, Ralf"

Contribution in Book/Report/Proceedings

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Hosseyni, Pedram and Küsters, Ralf and Pruiksma, Klaas and Schmitz, Guido and Waldmann, Clara and Würtele, Tim (2024) Layered Symbolic Security Analysis in DY*. In: Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, 2023, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . UNSPECIFIED, pp. 3-21. ISBN 9783031514784

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

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Do, Quoc Huy and Hosseyni, Pedram and Küsters, Ralf and Schmitz, Guido and Würtele, Tim (2021) A Tutorial-Style Introduction to DY*. In: Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Lecture Notes in Computer Science . Springer, Cham, pp. 77-97. ISBN 9783030916305

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Do, Quoc Huy and Hosseyni, Pedram and Küsters, Ralf and Schmitz, Guido and Würtele, Tim (2021) An In-Depth Symbolic Security Analysis of the ACME Standard. In: CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security :. ACM, New York, pp. 2601-2617. ISBN 9781450384544

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Do, Quoc Huy and Hosseyni, Pedram and Küsters, Ralf and Schmitz, Guido and Würtele, Tim (2021) DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code. In: 2021 IEEE European Symposium on Security and Privacy, (Euro S & P) 2021 :. IEEE, pp. 523-542. ISBN 9781665430487

Fett, Daniel and Küsters, Ralf and Schmitz, Guido (2017) The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines. In: 2017 IEEE 30th Computer Security Foundations Symposium (CSF) :. IEEE. ISBN 97815386-32161

Fett, Daniel and Küsters, Ralf and Schmitz, Guido (2016) A comprehensive formal security analysis of OAuth 2.0. In: Proceedings of the ACM Conference on Computer and Communications Security :. ACM, pp. 1204-1215.

Fett, Daniel and Küsters, Ralf and Schmitz, Guido (2016) Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web. In: Computer Security -- ESORICS 2015 : 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I. Lecture Notes in Computer Science . Springer, Cham. ISBN 9783319241739

Fett, Daniel and Küsters, Ralf and Schmitz, Guido (2015) SPRESSO : A Secure, Privacy-Respecting Single Sign-On System for the Web. In: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 :. ACM, New York, pp. 1358-1369. ISBN 9781450338325

Fett, Daniel and Küsters, Ralf and Schmitz, Guido (2014) An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System. In: 2014 IEEE Symposium on Security and Privacy :. IEEE. ISBN 9781479946860

Thesis

Schmitz, Guido and Küsters, Ralf (2019) Privacy-preserving web single sign-on : formal security analysis and design. PhD thesis, University of Stuttgart.

Other

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Hosseyni, Pedram and Küsters, Ralf and Pruiksma, Klaas and Schmitz, Guido and Waldmann, Clara and Würtele, Tim (2023) Layered Symbolic Security Analysis in DY*. UNSPECIFIED.

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

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

Fett, Daniel and Küsters, Ralf and Schmitz, Guido (2016) A Comprehensive Formal Security Analysis of OAuth 2.0. UNSPECIFIED.

Fett, Daniel and Küsters, Ralf and Schmitz, Guido (2015) SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web. UNSPECIFIED.

Fett, Daniel and Küsters, Ralf and Schmitz, Guido (2014) An Expressive Model for the Web Infrastructure : Definition and Application to the BrowserID SSO System. UNSPECIFIED.