Investigación
Google DeepMind usó IA para verificar matemáticamente la seguridad del cifrado de Signal
Infobae ·
Lo esencial
- Investigadores de Google DeepMind usaron inteligencia artificial para demostrar matemáticamente varias garantías clave del protocolo criptográfico de Signal.
- Según informó Wired, el proyecto duró cuatro semanas.
- El trabajo busca confirmar la seguridad del cifrado que protege los mensajes de Signal.
Por qué importa
Muestra que la IA puede aplicarse a la verificación formal de protocolos criptográficos reales, lo que puede servir de referencia para equipos que diseñan aplicaciones con cifrado de extremo a extremo. El alcance exacto de las garantías demostradas depende del detalle del estudio, que la fuente no desarrolla por completo.
A quién afecta
- Desarrolladores de aplicaciones de mensajería cifrada
- Equipos interesados en criptografía y verificación formal
- #signal
- #cifrado
- #inteligencia artificial
- #criptografía
- #google deepmind
- #verificación formal
Investigadores de Google DeepMind usaron inteligencia artificial para demostrar con matemáticas varias garantías clave del protocolo criptográfico de Signal, la tecnología que protege los mensajes de esa aplicación. Según informó Wired , el proyecto duró cuatro semanas y no…