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