A Formal Security Analysis of the Signal Messaging Protocol #1 Post by savara » Tue, Nov 01, 2016, 3:18 PM UTC A Formal Security Analysis of the Signal Messaging Protocoleprint.iacr.org