News for hackers. Stuff that matters.

A comment on Automated Symbolic Verification of Telegram's MTProto 2.0. Parent comment

Re:Automated Symbolic Verification of Telegram's MTProto 2.0 by jlelse on Monday January 11, 2021 @02:33AM (#25725855)
Durov (Telegram CEO) responded to some questions regarding this: https://t.me/durov/146
[ Parent | on HN ]

There are no comments on this comment yet.