El trabajo duró cuatro semanas, no halló fallas nuevas y revisó solo una parte de la criptografía que también protege a WhatsApp y otros servicios. Investigadores de Google DeepMind usaron inteligencia artificial para demostrar con matemáticas varias garantías clave del…
El trabajo duró cuatro semanas, no halló fallas nuevas y revisó solo una parte de la criptografía que también protege a WhatsApp y otros servicios.
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 encontró vulnerabilidades nuevas en las partes analizadas.
El trabajo usó un sistema nuevo de la compañía llamado AlphaProof Code. Los investigadores lo describen como una prueba de concepto, es decir, un ensayo para mostrar que la idea funciona antes de aplicarla a gran escala.
La técnica se llama verificación formal: en lugar de probar un programa con ejemplos y esperar que no falle, se escribe en lenguaje matemático lo que el programa debe cumplir y se demuestra que lo cumple. Para quienes trabajan en seguridad informática, según Wired, es una meta largamente buscada.
Leer la nota completa en Desde Caaguazú
