E eprint.iacr.org A Formal Security Analysis of the Signal Messaging Protocol (2017) [pdf] 100 points godelmachine 8 years ago 10 comments
