Marino Miculan, Nicola Vitacolonna. Automated verification of Telegram's MTProto 2.0 in the symbolic model. Computers & Security, 126:103072, March 2023. [doi]
@article{MiculanV23,
title = {Automated verification of Telegram's MTProto 2.0 in the symbolic model},
author = {Marino Miculan and Nicola Vitacolonna},
year = {2023},
month = {March},
doi = {10.1016/j.cose.2022.103072},
url = {https://doi.org/10.1016/j.cose.2022.103072},
researchr = {https://researchr.org/publication/MiculanV23},
cites = {0},
citedby = {0},
journal = {Computers & Security},
volume = {126},
pages = {103072},
}