A Formal Security Analysis of the Signal Messaging Protocol [pdf] | Dark Hacker News