The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems.

Detalles Bibliográficos
Publicado en:	Computer (00189162) Vol. 54; no. 1; pp. 29 - 39
Autores principales:	Mouha, Nicky, Hailane, Asmaa
Formato:	Artículo
Publicado:	IEEE Jan2021
Materias:	Compilers (Computer programs) Algorithms Virtual private networks Advanced Encryption Standard Digital Object Identifiers Mathematical proofs Information science
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Descripción no disponible.