Nicola Vitacolonna
- Automated Symbolic Verification of Telegram’s MTProto 2.0
2020/12/05 by Marino Miculan, Nicola Vitacolonna · 5 voices
Computer Science · #Advanced Authentication Protocols Security #User Authentication and Security Systems #Cryptography and Data Security