@inproceedings{cohn2016post,
  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 (EuroS&P)",
  organization = "IEEE",
}