Luke Garratt : Publications

Click here to download all publications in a single bibtex file

@inproceedings{cohn2016signal,
  title = "{A Formal Security Analysis of the Signal Messaging Protocol}",
  author = "Cohn-Gordon, Katriel and Cremers, Cas and Dowling, Benjamin and Garratt, Luke and Stebila, Douglas",
  year = "2017",
  booktitle = "2nd IEEE European Symposium on Security and Privacy",
  organization = "IEEE",
}

@inproceedings{cohn2016post,
  title = "{On Post-Compromise Security}",
  author = "Cohn-Gordon, Katriel and Cremers, Cas and Garratt, Luke",
  year = "2016",
  booktitle = "29th Computer Security Foundations Symposium (CSF)",
  organization = "IEEE",
}