Automated Symbolic Verification of Telegram's Cryptographic Protocolarxiv.org7 points·j-james··0 commentsOpen articleSaveView on HN