Optimization of ProVerif Programs for AKE Protocols.

Evgenii M. Vinarskii Alexey V. Demakov

Published in: Program. Comput. Softw. (2022)

Keyphrases

optimization algorithm
global optimization
optimization problems
optimization process
discrete optimization
optimization methods
optimal design
neural network
search engine
information technology
particle swarm optimization
optimization method
optimization model
computer programs