Investigación
Una IA de DeepMind demuestra matemáticamente que el protocolo de Signal es seguro
WWWhat's new · Por Natalia Polo ·
Lo esencial
- Investigadores de Google DeepMind usaron inteligencia artificial para verificar formalmente varias garantías criptográficas clave del protocolo de Signal.
- El protocolo es el cifrado que protege las comunicaciones de Signal, Google Messages y WhatsApp.
- Verificar formalmente significa demostrar matemáticamente que esas garantías se cumplen.
Por qué importa
Aporta pruebas matemáticas sobre propiedades de seguridad de un protocolo de cifrado usado por varias aplicaciones de mensajería, y muestra cómo la IA puede apoyar la verificación de criptografía. El extracto disponible no detalla qué garantías concretas se verificaron.
A quién afecta
- Equipos que desarrollan o integran mensajería cifrada
- Desarrolladores interesados en verificación formal de criptografía
- #criptografía
- #signal
- #verificación formal
- #inteligencia artificial
- #deepmind
- #mensajería cifrada
Investigadores de Google DeepMind han usado inteligencia artificial para «verificar formalmente» —demostrar matemáticamente— varias de las garantías criptográficas clave del protocolo de Signal, el cifrado que protege las comunicaciones de Signal, Google Messages y WhatsApp. Lo…