← All repos

miculan/telegram-mtproto2-verification

View on GitHub ↗ ★ 15 Shell

Formal Verification of Telegram's MTProto 2.0

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2022-10-25 · latest 2024-08-27