Automated Symbolic Verification of Telegram's MTProto 2.0.

Marino Miculan Nicola Vitacolonna

Published in: SECRYPT (2021)

Keyphrases

data driven
model checking
neural network
real time
semi automated
computer assisted
neural learning
high level
face verification
verification method
automated analysis
computer aided
fully automatic
semi automatic
low level
artificial neural networks
digital libraries
video sequences
case study
genetic algorithm