Investigación2 fuentes

De años a cuatro semanas: la IA de DeepMind verifica por primera vez el código real del protocolo Signal

Lo esencial · a partir de 2 fuentes

Investigadores de Google DeepMind usaron IA para demostrar matemáticamente varias garantías clave del protocolo criptográfico de Signal.
Según Wired, el proyecto duró cuatro semanas.
MuySeguridad informa de que la verificación alcanza el código real del protocolo, hasta el código compilado que se ejecuta en los dispositivos.

Por qué importa

La verificación formal reduce la dependencia de la confianza en el diseño y acerca la comprobación a la implementación real que usan los usuarios, algo que según las fuentes la industria llevaba años buscando.

A quién afecta

Equipos que trabajan con el protocolo de Signal o con cifrado de extremo a extremo

#cifrado
#signal
#google deepmind
#verificación formal
#criptografía
#ia

Google DeepMind ha conseguido algo que la industria llevaba años persiguiendo: demostrar matemáticamente que el código real del protocolo Signal cumple sus propiedades de seguridad clave, no sobre el papel del diseño, sino hasta el código compilado que se ejecuta en los…

Leer la nota completa en muyseguridad.net ↗