Hacker News new | ask | show | jobs
A Formal Security Analysis of the Signal Messaging Protocol (eprint.iacr.org)
2 points by savara 3516 days ago