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.
La prohibición se aplicará a todas las «plataformas de usuario a usuario, cuyo propósito es permitir la interacción social y que permiten a los usuarios publica...
Leer artículo →Según la firma de inteligencia de amenazas Defused Cyber, ciberdelincuentes están explotando múltiples vulnerabilidades de seguridad en Fortinet FortiSandbox. E...
Leer artículo →Los equipos de seguridad nunca han tenido tantos datos de IP a su disposición. Cada día, los analistas procesan fuentes de enriquecimiento, datos de geolocaliza...
Leer artículo →