The following publications are possibly variants of this publication:
- A Formal Security Analysis of the Signal Messaging ProtocolKatriel Cohn-Gordon, Cas J. F. Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila. eurosp 2017: 451-466 [doi]
- A Formal Security Analysis of the Signal Messaging ProtocolKatriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila. iacr, 2016:1013, 2016. [doi]