Automated Symbolic Verification of Telegram's MTProto 2.0 - discu.eu

Lobsters

Automated Symbolic Verification of Telegram's MTProto 2.0 https://arxiv.org/pdf/2012.03141v1.pdf 6 comments 14/1/2021 pdf , security

Linking pages

Best WhatsApp alternatives for privacy | Proton https://protonmail.com/blog/whatsapp-alternatives/ 120 comments

Related searches:

Search whole site: site:arxiv.org

Search title: Automated Symbolic Verification of Telegram's MTProto 2.0

See how to search.

Submit link to: