Layered Symbolic Security Analysis in DY*
Bhargavan, K., Bichhawat, A., Hosseyni, P., Küsters, R., Pruiksma, K., Schmitz, G., Waldmann, C. & Würtele, T., 8/09/2023A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N. & Würtele, T., 27/07/2022, 43rd IEEE Symposium on Security and Privacy (S&P 2022). IEEEPrivacy-preserving Web single sign-on: Formal security analysis and design
Schmitz, G., 26/04/2022, In: IT - Information Technology. 64, 1-2, p. 43-48 6 p.A Tutorial-Style Introduction to DY*
Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 19/11/2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Cham: Springer, p. 77-97 21 p. (Lecture Notes in Computer Science ; vol. 13066).An In-Depth Symbolic Security Analysis of the ACME Standard
Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 13/11/2021, CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. New York: ACM, p. 2601-2617 17 p.DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 4/11/2021, 2021 IEEE European Symposium on Security and Privacy, (Euro S & P) 2021. IEEE, p. 523-542 20 p.A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N. & Würtele, T., 2021An In-Depth Symbolic Security Analysis of the ACME Standard
Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 2021Privacy-preserving web single sign-on: formal security analysis and design
Schmitz, G., 2019The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines
Fett, D., Küsters, R. & Schmitz, G., 28/09/2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF). IEEEA comprehensive formal security analysis of OAuth 2.0
Fett, D., Küsters, R. & Schmitz, G., 24/10/2016, Proceedings of the ACM Conference on Computer and Communications Security. ACM, p. 1204-1215 Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web
Fett, D., Küsters, R. & Schmitz, G., 13/01/2016, Computer Security -- ESORICS 2015: 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I. Pernul, G., Ryan, P. Y. A. & Weippl, E. (eds.). Cham: Springer, (Lecture Notes in Computer Science; vol. 9326).A Comprehensive Formal Security Analysis of OAuth 2.0.
Fett, D., Küsters, R. & Schmitz, G., 2016Pi and More: Eine Veranstaltungsreihe rund um "kleine Computer"
Fett, D. & Schmitz, G., 2016, Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI).SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web
Fett, D., Küsters, R. & Schmitz, G., 12/10/2015, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15. New York: ACM, p. 1358-1369 12 p.SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web
Fett, D., Küsters, R. & Schmitz, G., 7/08/2015An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System
Fett, D., Küsters, R. & Schmitz, G., 20/11/2014, 2014 IEEE Symposium on Security and Privacy. IEEEAn Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System
Fett, D., Küsters, R. & Schmitz, G., 7/03/2014