Telegram's MTProto 2.0 proven formally correct (2021) [pdf]arxiv.org3 points·alanfranz··1 commentOpen articleSaveView on HN