Luke Garratt

13 papers A* 1A 3Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2020 J jnl
A Formal Security Analysis of the Signal Messaging Protocol.
J. Cryptol.
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
2020 A conf
Limiting the impact of unreliable randomness in deployed security protocols.
CSF
Liliya R. Akhmetzyanova, Cas Cremers, Luke Garratt, Stanislav Smyshlyaev, Nick Sullivan
2020 J jnl
Randomness Improvements for Security Protocols.
RFC
Cas Cremers, Luke Garratt, Stanislav Smyshlyaev, Nick Sullivan, Christopher A. Wood
2018 — conf
Decentralizing Digital Identity: Open Challenges for Distributed Ledgers.
EuroS&P Workshops
Paul Dunphy, Luke Garratt, Fabien A. P. Petitcolas
2018 A* conf
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.
CCS
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner
2018 — —
Realistic, strong and provable key exchange security.
Luke Garratt
2018 J jnl
Security Analysis for Randomness Improvements for Security Protocols.
IACR Cryptol. ePrint Arch.
Liliya R. Akhmetzyanova, Cas Cremers, Luke Garratt, Stanislav V. Smyshlyaev
2017 A conf
A Formal Security Analysis of the Signal Messaging Protocol.
EuroS&P
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
2017 J jnl
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.
IACR Cryptol. ePrint Arch.
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner
2016 J jnl
A Formal Security Analysis of the Signal Messaging Protocol.
IACR Cryptol. ePrint Arch.
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
2016 J jnl
On Post-Compromise Security.
IACR Cryptol. ePrint Arch.
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt
2016 A conf
On Post-compromise Security.
CSF
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt
2015 J jnl
Cyber security centre: University of Oxford, United Kingdom.
XRDS
Luke Garratt