Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila. A Formal Security Analysis of the Signal Messaging Protocol. J. Cryptology, 33(4):1914-1983, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.