3 ms·

Telegram's MTProto 2.0 proven formally correct (2021) [pdf]

• alanfranz 4y ago
  Related: https://www.sciencedirect.com/science/article/pii/S0167404822004643?dgcid=rss_sd_all https://www.sciencedirect.com/science/article/pii/S016740482... https://github.com/miculan/telegram-mtproto2-verification https://github.com/miculan/telegram-mtproto2-verification