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
20082026
-
…secrecy, though one afaik not as good as that enjoyed by Signal): formal proofs available here https://github.com/miculan/telegram-mtproto2-verification/tr... and some peer reviewed papers describing the formal verification effort are…
comment by jaykru · 2024-08-27 · in Zuckerberg claims regret on caving to White House pressure on content -
…https://core.telegram.org/mtproto/AJiEAwIYFoAsBGJBjZwYoQIwFM... https://arxiv.org/pdf/2012.03141 https://github.com/miculan/telegram-mtproto2-verification
comment by gloosx · 2024-08-25 · in Arrest of Pavel Durov, Telegram CEO, charges of terrorism, fraud, child porn -
Related: https://www.sciencedirect.com/science/article/pii/S016740482... https://github.com/miculan/telegram-mtproto2-verification
comment by alanfranz · 2023-01-11 · in Telegram's MTProto 2.0 proven formally correct (2021) [pdf] -
…I'd say probably. I mean, it really really looks like they're trying hard to get the job done. [0]: https://github.com/miculan/telegram-mtproto2-verification [1]: https://twitter.com/Shiftreduce/status/1347546599384346624 [2]: Meta…
comment by lloeki · 2022-10-25 · in WhatsApp goes down for users globally