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]
@article{Cohn-GordonCDGS20, title = {A Formal Security Analysis of the Signal Messaging Protocol}, author = {Katriel Cohn-Gordon and Cas Cremers and Benjamin Dowling and Luke Garratt and Douglas Stebila}, year = {2020}, doi = {10.1007/s00145-020-09360-1}, url = {https://doi.org/10.1007/s00145-020-09360-1}, researchr = {https://researchr.org/publication/Cohn-GordonCDGS20}, cites = {0}, citedby = {0}, journal = {J. Cryptology}, volume = {33}, number = {4}, pages = {1914-1983}, }