Verificación formal

Utilización de pruebas matemáticamente rigurosas para garantizar ciertas propiedades de los criptógrafos.