Investigadores de Google DeepMind utilizaron IA con capacidad de agencia para demostrar matemáticamente, o "verificar formalmente", varias de las garantías criptográficas clave del protocolo Signal, un avance trascendental para la criptografía y la IA en general.
Realizado como una especie de proyecto de prueba de concepto en tan solo cuatro semanas, este trabajo es significativo por dos razones. Sirve como una validación independiente adicional de la criptografía que protege grandes cantidades de comunicaciones en plataformas como Signal, Google Messages y WhatsApp. Además, demuestra las capacidades de verificación formal de Google DeepMind mediante un nuevo marco de IA llamado AlphaProof Code.
En términos generales, la verificación formal asistida por IA está en auge, pero aún no está claro cuán práctica será para su uso generalizado ni cuán efectiva será para proteger grandes cantidades de código. Los defensores de la verificación formal la han considerado durante mucho tiempo como una especie de santo grial en la seguridad del software, ya que utiliza las matemáticas para comprobar y validar que el software funcione según lo previsto; en otras palabras, que no tenga vulnerabilidades críticas.
Investigadores de seguridad descubrieron un conjunto de herramientas .NET modular llamado Turla Cereal, un malware dirigido a servidores gubernamentales de Micr...
Leer artículo →Los responsables del mantenimiento de la biblioteca React corrigieron una vulnerabilidad crítica de ejecución remota de código sin autenticación en los componen...
Leer artículo →Los responsables del kernel de Linux observaron un hito alentador en la seguridad del software. En concreto, los responsables del subsistema informan de que las...
Leer artículo →