Seguridad
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 ·
Lo esencial
- Google DeepMind afirma que sus agentes de IA demostraron matemáticamente que partes clave del código detrás del protocolo de cifrado de Signal hacen lo que deben hacer.
- El protocolo protege las conversaciones privadas en Signal y Google Messages.
- Según DeepMind, la IA completó el trabajo en un mes, mientras que verificar ese código había requerido años de trabajo de expertos.
Por qué importa
Si la verificación se sostiene, aporta más confianza en que el cifrado de mensajería privada funciona como se espera. Por ahora la afirmación procede de DeepMind y la fuente disponible es breve, así que conviene esperar detalles independientes.
A quién afecta
- usuarios de Signal y Google Messages
- desarrolladores y investigadores en criptografía y seguridad informática
- #cifrado
- #signal
- #deepmind
- #verificación formal
- #seguridad
- #mensajería privada
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…
Cronología
DeepMind anuncia que su IA verificó partes clave del código de Signal en un mes
Robótica e IA - Xataka
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