Marino Miculan, Nicola Vitacolonna. Automated Symbolic Verification of Telegram's MTProto 2.0. In Sabrina De Capitani di Vimercati, Pierangela Samarati, editors, Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021, July 6-8, 2021. pages 185-197, SCITEPRESS, 2021. [doi]
Abstract is missing.