A Formal Security Analysis of the Signal Messaging Protocol Version 1.1, October 2016† Katriel Cohn-Gordon1 , Cas Cremers1 , Benjamin Dowling2 , Luke Garratt1 , and Douglas Stebila3 1

First Page		Document Content
Date: 2016-11-01 11:47:38		A Formal Security Analysis of the Signal Messaging Protocol Version 1.1, October 2016† Katriel Cohn-Gordon1 , Cas Cremers1 , Benjamin Dowling2 , Luke Garratt1 , and Douglas Stebila3 1 Add to Reading List Source URL: eprint.iacr.org Download Document from Source Website File Size: 555,26 KB Share Document on Facebook