Guido Schmitz
Orcid: 0000-0002-3776-5475Affiliations:
- Royal Holloway, University of London, UK
- University of Stuttgart (former)
- University of Trier (former)
According to our database1,
Guido Schmitz
authored at least 15 papers
between 2014 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
-
on gtrs.de
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the Computer Security - ESORICS 2023, 2023
2022
it Inf. Technol., 2022
2021
IACR Cryptol. ePrint Arch., 2021
IACR Cryptol. ePrint Arch., 2021
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code.
Proceedings of the IEEE European Symposium on Security and Privacy, 2021
Proceedings of the Protocols, Strands, and Logic, 2021
2019
PhD thesis, 2019
2017
The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017
2016
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016
2015
Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web.
Proceedings of the Computer Security - ESORICS 2015, 2015
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015
2014
An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System.
CoRR, 2014
An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System.
Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014