TY  - RPRT
TI  - Automated Symbolic Verification of Telegram's MTProto 2.0
AU  - Marino Miculan
AU  - Nicola Vitacolonna
PY  - 2021
DO  - 10.5220/0010549601850197
UR  - https://arxiv.org/abs/2012.03141
ID  - 2012.03141
ER  -