Investigación3 fuentes

Verificar el código de Signal era un reto que llevaba años de trabajo de expertos. DeepMind dice que su IA lo ha hecho en un mes

Xataka · Por Antonio Vallejo · hace 44 min

Lo esencial · a partir de 3 fuentes

Google DeepMind usó agentes de IA para verificar formalmente, es decir demostrar matemáticamente, partes clave del código y varias garantías criptográficas del protocolo de Signal.
Según DeepMind, el trabajo se completó en aproximadamente un mes, un proceso que según Xataka habría requerido años de trabajo de expertos.
El protocolo protege las conversaciones de Signal, Google Messages y WhatsApp.

Por qué importa

Muestra que la verificación formal asistida por IA puede acelerar la comprobación de protocolos criptográficos. Las garantías verificadas se limitan a partes concretas del código, por lo que no equivalen a una auditoría completa de las aplicaciones.

A quién afecta

Equipos que implementan cifrado de extremo a extremo
Desarrolladores interesados en verificación formal de protocolos criptográficos

#criptografía
#signal
#deepmind
#verificación formal
#seguridad
#inteligencia artificial

Google DeepMind dice que sus agentes de IA han demostrado matemáticamente que partes clave del código que está detrás del protocolo de cifrado de Signal hacen lo que se supone que deben hacer. El protocolo protege las conversaciones privadas en Signal y Google Messages, y también…

Leer la nota completa en xataka.com ↗