Crossmark

A Formal Security Analysis of the Signal Messaging Protocol

Published Online: 2020-09-23

Published Print: 2020-10

Authors

Cohn-Gordon, Katriel

Cremers, Cas

Dowling, Benjamin

Garratt, Luke

Stebila, Douglas
License Information

Text and Data Mining valid from 2020-09-23

Version of Record valid from 2020-09-23
More Information

Article History

Received: 8 November 2017

Revised: 4 June 2020

First Online: 23 September 2020

Document is current