Automated Symbolic Verification of Telegram's MTProto 2.0
10 by wyuenho | 0 comments on Hacker News.
Sunday, 10 January 2021
Hacker News
Home
Hacker News
New top story on Hacker News: Automated Symbolic Verification of Telegram's MTProto 2.0
No comments:
Post a Comment