Automated verification of Telegram's MTProto 2.0 in the symbolic model.

Marino Miculan Nicola Vitacolonna

Published in: Comput. Secur. (2023)

Keyphrases

computational model
high level
probabilistic model
experimental data
cost function
theoretical analysis
theoretical framework
mathematical model
database
data sets
genetic algorithm
multiscale
formal model