DeepMind usa IA para verificar formalmente garantías criptográficas del protocolo de Signal
Hecho Qué ha ocurrido
Investigadores de Google DeepMind usaron la herramienta AlphaProof Code para verificar formalmente varias garantías criptográficas del protocolo de Signal en cuatro semanas, como prueba de concepto. No encontraron vulnerabilidades nuevas en las partes revisadas y la herramienta identificó correctamente fallos antiguos ya corregidos en versiones previas. El análisis no cubrió toda la aplicación móvil de Signal.
Resumen generado mediante IA a partir de WWWhat's new. Naturaleza de la información: declaración de parte interesada.
Análisis Por qué importa
Si la verificación formal asistida por IA se vuelve viable, código crítico que hoy se audita solo parcialmente podría demostrarse matemáticamente, lo que cambia la base de confianza en software sensible.
- Quién se ve afectado
- Empresas de mensajería cifrada, banca, infraestructuras y proveedores de software crítico.
- Qué puede cambiar
- La verificación formal podría dejar de ser un lujo de laboratorio y pasar a usarse en auditorías de sistemas de alto riesgo, siempre que escale y tenga un coste razonable.
Análisis generado a partir de la información disponible; no procede de la fuente.
Predicción Qué observar a continuación
Si DeepMind publica resultados sobre escalado a más software, si lanza un producto comercial y cuál es el coste real de estas verificaciones frente a las auditorías tradicionales.
Enviar esta noticia por correo
Enviado. Revisa que llegue a la bandeja de entrada de quien lo reciba.
La dirección no parece válida.
Has enviado varios correos seguidos. Espera un rato.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
No se ha podido enviar. Inténtalo de nuevo en unos minutos.
Fuente original: WWWhat's new. La referencia es siempre el artículo original.
Ver fuente original ↗verificación formalIA agéntica Google DeepMindSignal AlphaProof Code criptografía DeepMind Signal verificación formal
Forma parte de la historia DeepMind verifica con IA agéntica el protocolo criptográfico de Signal (3 noticias, estado: evolución rápida).
Relacionadas
AlphaProof Code de DeepMind verifica el núcleo criptográfico de Signal en cuatro semanas
Google DeepMind presentó AlphaProof Code, un sistema de IA que demuestra matemáticamente que un software cumple sus especificaciones de seguridad. Según la…
Por qué importaSi el enfoque se confirma, la verificación formal de software crítico podría dejar de ser un proceso excepcionalmente caro. Para las empresas que…
Google DeepMind usa IA agéntica para verificar matemáticamente partes clave del protocolo de Signal
Investigadores de Google DeepMind emplearon IA agéntica para demostrar matemáticamente, mediante verificación formal, varias garantías criptográficas clave del…
Por qué importaSi la verificación formal asistida por IA resulta práctica, podría reducir el coste de comprobar que el software crítico no tiene vulnerabilidades…
DeepMind usa IA agéntica para verificar formalmente garantías criptográficas del protocolo Signal
Investigadores de Google DeepMind emplearon IA agéntica para demostrar matemáticamente varias garantías criptográficas clave del protocolo Signal, en un…
Por qué importaMuestra que la verificación formal asistida por IA puede acelerarse de forma notable, algo que hasta ahora requería mucho tiempo de especialistas…
Google DeepMind usa IA para verificar matemáticamente partes del cifrado de Signal, sin hallar fallos nuevos
Investigadores de Google DeepMind usaron IA, con su sistema AlphaProof Code, para demostrar matemáticamente varias garantías del protocolo criptográfico de…
Por qué importaMuestra que la verificación formal, hasta ahora lenta y dependiente de especialistas, puede acelerarse con agentes de IA. Para empresas que dependen…
Tu opinión
Te hemos enviado un correo para confirmar tu dirección. El comentario se procesará cuando pulses el enlace.
Gracias. Tu comentario se publicará cuando lo revise el equipo (los primeros comentarios de cada persona se moderan).
Comentario publicado. Gracias por participar.
No se puede comentar aquí.
Indica un nombre (de 2 a 60 caracteres).
El correo no parece válido.
El comentario debe tener entre 10 y 2.000 caracteres.
Demasiados enlaces en el comentario.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
Has alcanzado el límite diario de comentarios.
Demasiados comentarios seguidos. Espera un rato.
No se ha podido enviar el correo de confirmación. Inténtalo de nuevo en unos minutos.