| A formal security analysis of the signal messaging protocol K Cohn-Gordon, C Cremers, B Dowling, L Garratt, D Stebila Journal of Cryptology 33, 1914-1983, 2020 | 477 | 2020 |
| On post-compromise security K Cohn-Gordon, C Cremers, L Garratt 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 164-178, 2016 | 227 | 2016 |
| On ends-to-ends encryption: Asynchronous group messaging with strong security guarantees K Cohn-Gordon, C Cremers, L Garratt, J Millican, K Milner Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 181 | 2018 |
| Decentralizing digital identity: Open challenges for distributed ledgers P Dunphy, L Garratt, F Petitcolas 2018 IEEE European symposium on security and privacy workshops (EuroS&PW), 75-78, 2018 | 41 | 2018 |
| Randomness improvements for security protocols C Cremers, L Garratt, S Smyshlyaev, N Sullivan, C Wood Internet Requests for Comments, RFC Editor, RFC 8937, 2020 | 5 | 2020 |
| Limiting the impact of unreliable randomness in deployed security protocols L Akhmetzyanova, C Cremers, L Garratt, S Smyshlyaev, N Sullivan 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 277-287, 2020 | 1 | 2020 |
| Realistic, strong and provable key exchange security L Garratt University of Oxford, 2018 | 1 | 2018 |
| RFC 8937: Randomness Improvements for Security Protocols C Cremers, L Garratt, S Smyshlyaev, N Sullivan, C Wood RFC Editor, 2020 | | 2020 |
| PROCEEDINGS-IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM L Akhmetzyanova, S Smyshlyaev, C Cremers, L Garratt, N Sullivan, ... | | 2020 |
| Security Analysis for Randomness Improvements for Security Protocols. LR Akhmetzyanova, C Cremers, L Garratt, SV Smyshlyaev IACR Cryptol. ePrint Arch. 2018, 1057, 2018 | | 2018 |
| On Ends-to-Ends Encryption K Cohn-Gordon, C Cremers, L Garratt, J Millican, K Milner | | 2017 |
| Improvements for Security Protocols N Sullivan, C Cremers, L Garratt | | |
| Miguel Arroyo, Columbia University Musard Balliu, Chalmers University of Technology Iulia Bastys, Chalmers University of Technology Luciano Bello, IBM B Blanchet, C Bolton, H Chen, K Chen, S Chen, N Christin, S Chung, ... | | |
Cas CremersCISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.de
