A Formal Security Analysis of the Signal Messaging Protocol
['Katriel Cohn-Gordon', 'Cas Cremers', 'Benjamin Dowling', 'Luke W. Garratt', 'Douglas Stebila']
A Formal Security Analysis of the Signal Messaging Protocol