A Formal Security Analysis of the Signal Messaging Protocol [PDF-From /r/netsec]

"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."