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