Investigación2 fuentes
Google pone a prueba la seguridad de Signal
Lo esencial · a partir de 2 fuentes
- Investigadores de Google DeepMind usaron inteligencia artificial para verificar formalmente, es decir, demostrar matemáticamente, varias garantías criptográficas clave del protocolo de Signal.
- El protocolo de Signal también cifra las comunicaciones de Google Messages y WhatsApp.
- Según elhacker.NET, la verificación se completó en solo un mes y sin errores.
Por qué importa
Es una de las pocas verificaciones formales de un protocolo de cifrado extendido en producción, lo que da más confianza en garantías que hasta ahora se apoyaban sobre todo en el análisis manual y la revisión por pares. Los desarrolladores que integran cifrado de extremo a extremo pueden tomarla como referencia del uso de IA en verificación criptográfica.
A quién afecta
- Desarrolladores que integran o dependen del protocolo de Signal
- Equipos que trabajan con cifrado de extremo a extremo
- #signal
- #criptografia
- #deepmind
- #verificacion-formal
- #inteligencia-artificial
- #cifrado-extremo-a-extremo
Google DeepMind utilizó IA para verificar sin errores el protocolo de seguridad de Signal en solo un mes, logrando un resultado histórico.
Cronología
Cobertura completa · 2 fuentes
- hace 2 h ↗
Blog elhacker.NET
Google pone a prueba la seguridad de Signal
- hace 10 h ↗