Luke Garratt : Publications
-
[1]
A Formal Security Analysis of the Signal Messaging Protocol
Katriel Cohn−Gordon‚ Cas Cremers‚ Benjamin Dowling‚ Luke Garratt and Douglas Stebila
In 2nd IEEE European Symposium on Security and Privacy. IEEE. 2017.
Details about A Formal Security Analysis of the Signal Messaging Protocol | BibTeX data for A Formal Security Analysis of the Signal Messaging Protocol
-
[2]
On Post−Compromise Security
Katriel Cohn−Gordon‚ Cas Cremers and Luke Garratt
In 29th Computer Security Foundations Symposium (CSF). IEEE. 2016.
Details about On Post−Compromise Security | BibTeX data for On Post−Compromise Security