A Formal Security Analysis of the Signal Messaging Protocol [pdf] #1 Post by jugbee » Thu, Nov 03, 2016, 6:18 PM UTC A Formal Security Analysis of the Signal Messaging Protocol [pdf]eprint.iacr.org