A Formal Security Analysis of the Signal Messaging Protocol [pdf]eprint.iacr.org2 points·zerognowl··0 commentsOpen articleSaveView on HN