A Formal Security Analysis of the Signal Messaging Protocol(eprint.iacr.org)2 points by savara 9 years ago | 0 commentsNo comments yet