Optimization of ProVerif Programs for AKE Protocols
Crossref DOI link: https://doi.org/10.1134/S0361768822080035
Published Online: 2022-12-21
Published Print: 2022-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Vinarskii, E. M. http://orcid.org/0000-0002-7328-0942
Demakov, A. V. http://orcid.org/0000-0001-6573-7925
Text and Data Mining valid from 2022-12-01
Version of Record valid from 2022-12-01
Article History
Received: 12 January 2022
Revised: 16 February 2022
Accepted: 22 March 2022
First Online: 21 December 2022