Automated Symbolic Verification of Telegram's MTProto 2.0.

Marino Miculan Nicola Vitacolonna

Published in: CoRR (2020)

Keyphrases

symbolic representation
semi automated
automated analysis
model checking
computer aided
signature verification
formal verification
semi automatic
fully automated
face verification