discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Automated Symbolic Verification of Telegram's MTProto 2.0
https://arxiv.org/abs/2012.03141
53 comments
11/1/2021
Lobsters
Automated Symbolic Verification of Telegram's MTProto 2.0
https://arxiv.org/pdf/2012.03141v1.pdf
6 comments
14/1/2021
pdf , security