A Formal Security Analysis of the Signal Messaging Protocol [PDF-From /r/netsec](eprint.iacr.org)
eprint.iacr.org
A Formal Security Analysis of the Signal Messaging Protocol [PDF-From /r/netsec]
https://eprint.iacr.org/2016/1013.pdf
1 comments
"We have
found no major flaws in the design, and hope that our presentation and results can serve as a starting
point for other analyses of this widely adopted protocol."