A Comprehensive Formal Security Analysis of OAuth 2.0 D Fett, R Küsters, G Schmitz 23rd ACM SIGSAC Conference on Computer and Communications Security (CCS 2016 …, 2016 | 264 | 2016 |
The Web SSO Standard OpenID Connect: In-Depth Formal Security Analysis and Security Guidelines. D Fett, R Küsters, G Schmitz IEEE 30th Computer Security Foundations Symposium (CSF 2017), 2017 | 122 | 2017 |
An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System D Fett, R Küsters, G Schmitz 35th IEEE Symposium on Security and Privacy (S&P 2014), 673-688, 2014 | 104 | 2014 |
SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web D Fett, R Küsters, G Schmitz 22nd ACM SIGSAC Conference on Computer and Communications Security (CCS 2015 …, 2015 | 72 | 2015 |
DY*: a modular symbolic verification framework for executable cryptographic protocol code K Bhargavan, A Bichhawat, Q Do, P Hosseyni, R Küsters, G Schmitz, ... EuroS&P 2021-6th IEEE European Symposium on Security and Privacy, 2021 | 40* | 2021 |
Analyzing the BrowserID SSO system with primary identity providers using an expressive model of the web D Fett, R Küsters, G Schmitz European Symposium on Research in Computer Security (ESORICS 2015), 43-65, 2015 | 27 | 2015 |
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification QH Do, P Hosseyni, R Küsters, G Schmitz, N Wenzler, T Würtele 2022 IEEE Symposium on Security and Privacy (SP), 215-234, 2022 | 13 | 2022 |
An in-depth symbolic security analysis of the ACME standard K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ... Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 12 | 2021 |
A Tutorial-Style Introduction to DY* K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ... Protocols, Logic, and Strands: Essays Dedicated to Joshua Guttman on the …, 2021 | 5 | 2021 |
Privacy-preserving Web single sign-on: Formal security analysis and design G Schmitz it-Information Technology 64 (1-2), 43-48, 2022 | 2 | 2022 |
Pi and More—Eine Veranstaltungsreihe rund um “kleine Computer” D Fett, G Schmitz Informatik 2016, 46. Jahrestagung der Gesellschaft für Informatik, 1195-1196, 0 | 1* | |
Layered Symbolic Security Analysis in DY K Bhargavan, A Bichhawat, P Hosseyni, R Kuesters, K Pruiksma, ... Cryptology ePrint Archive, 2023 | | 2023 |
Privacy-preserving web single sign-on: formal security analysis and design G Schmitz | | 2019 |
CSF 2013 P Adão, T Amtoft, M Arapinis, A Askarov, K Bhargavan, NE Bordenabe, ... | | |
Status Report: Formal Analysis of Web Security K Bhargavan, A Bichhawat, QH Do, D Fett, R Küsters, G Schmitz | | |