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]
@inproceedings{MiculanV21,
title = {Automated Symbolic Verification of Telegram's MTProto 2.0},
author = {Marino Miculan and Nicola Vitacolonna},
year = {2021},
doi = {10.5220/0010549601850197},
url = {https://doi.org/10.5220/0010549601850197},
researchr = {https://researchr.org/publication/MiculanV21},
cites = {0},
citedby = {0},
pages = {185-197},
booktitle = {Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021, July 6-8, 2021},
editor = {Sabrina De Capitani di Vimercati and Pierangela Samarati},
publisher = {SCITEPRESS},
isbn = {978-989-758-524-1},
}