Luke Garratt
Luke Garratt
Verified email at cisco.com - 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
2017 IEEE European Symposium on Security and Privacy (EuroS&P), 451-466, 2017
1582017
On post-compromise security
K Cohn-Gordon, C Cremers, L Garratt
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 164-178, 2016
732016
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
452018
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
72018
Realistic, strong and provable key exchange security
L Garratt
University of Oxford, 2018
12018
A formal analysis of the signal messaging protocol
K Cohn-Gordon, C Cremers, B Dowling, L Garratt, D Stebila
IEEE, 2017
12017
On Ends-to-Ends Encryption
K Cohn-Gordon, C Cremers, L Garratt, J Millican, K Milner
12017
A Formal Security Analysis of Key Establishment in the Signal Messaging Protocol
K Cohn-Gordon, C Cremers, B Dowling, L Garratt, D Stebila
Journal of Cryptology, 2020
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
Limiting the impact of unreliable randomness in deployed security protocols
L Akhmetzyanova, C Cremers, L Garratt, S Smyshlyaev, N Sullivan
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–12