Follow
Luke Garratt
Luke Garratt
Independent scholar
No verified email - Homepage
Title
Cited by
Cited by
Year
A formal security analysis of the signal messaging protocol
K Cohn-Gordon, C Cremers, B Dowling, L Garratt, D Stebila
Journal of Cryptology 33 (4), 1914-1983, 2020
3102020
On post-compromise security
K Cohn-Gordon, C Cremers, L Garratt
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 164-178, 2016
1482016
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
1102018
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
222018
A formal analysis of the signal messaging protocol
K Cohn-Gordon, C Cremers, B Dowling, L Garratt, D Stebila
IEEE, 2017
32017
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
12020
Randomness improvements for security protocols
C Cremers, L Garratt, S Smyshlyaev, N Sullivan, C Wood
RFC 8937. IETF, 2020
12020
Realistic, strong and provable key exchange security
L Garratt
University of Oxford, 2018
12018
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, ...
The system can't perform the operation now. Try again later.
Articles 1–13