Telegram's MTProto 2.0 proven formally correct (2021) [pdf] (arxiv.org) 3 points by alanfranz 3y ago ↗ HN
[–] alanfranz 3y ago ↗ Related:https://www.sciencedirect.com/science/article/pii/S016740482...https://github.com/miculan/telegram-mtproto2-verification
1 comment
[ 4.0 ms ] story [ 16.3 ms ] threadhttps://www.sciencedirect.com/science/article/pii/S016740482...
https://github.com/miculan/telegram-mtproto2-verification