Four Attacks and a Proof for Telegram

ePrint Report: Four Attacks and a Proof for Telegram

Martin R. Albrecht, Lenka Mareková, Kenneth G. Paterson, Igors Stepanovs

We study the use of symmetric cryptography in the MTProto 2.0 protocol, Telegram's equivalent of the TLS record protocol. We give positive and negative results. On the one hand, we formally and in detail model a slight variant of Telegram's "record protocol" and prove that it achieves security in a suitable bidirectional secure channel model, albeit under unstudied assumptions; this model …

art attacks channel cryptography eprint report protocol prove report results security state study symmetric telegram tls under