A arxiv.org Automated Symbolic Verification of Telegram's MTProto 2.0 64 points wyuenho 5 years ago 53 comments
