Ideas & society2020 · shared on Hacker News
Automated Symbolic Verification of Telegram's MTProto 2.0
Explore Automated Symbolic Verification of Telegram's MTProto 2.0, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Yerwinmatijsen ·
WhatsApp gives users an ultimatum: Share data with Facebook or stop using app
2,254 points1,148 comments
YColinWright ·
Poll: Switching from WhatsApp
1,004 points945 comments
Ytoss1 ·
Arrest of Pavel Durov, Telegram CEO, charges of terrorism, fraud, child porn
733 points829 comments
YNullslash ·
Telegram publishes users' locations online
488 points229 comments
Ycjg ·
Signal is secure, as proven by hackers
200 points312 comments
Ywyuenho ·
Automated Symbolic Verification of Telegram's MTProto 2.0
64 points53 comments
Yj-james ·
Automated Symbolic Verification of Telegram's Cryptographic Protocol
7 points0 comments
Ysnowboarder63 ·
WhatsApp announces key transparency being added to WhatsApp
3 points1 comments
Ykome ·
Automated Symbolic Verification of Telegram’s MTProto 2.0
1 points0 comments
Yalanfranz ·
Telegram's MTProto 2.0 proven formally correct (2021) [pdf]
1 points1 comments