Prueba contra el ataque: ¿Puede la IA ayudar a construir software en el que podamos confiar?

La IA está facilitando que los ciberataques sean más fáciles de lanzar, más difíciles de detectar y posibles a una escala mucho mayor. Al mismo tiempo, más de la vida cotidiana depende del software: hospitales, redes de energía, sistemas de transporte, servicios financieros y los dispositivos que llevamos en nuestros pockets. Esta charla plantea una pregunta simple: ¿qué se necesitaría para hacer que el software en el que confiamos sea dramáticamente más seguro? Una respuesta proviene de los métodos formales: técnicas que utilizan pruebas matemáticas para verificar que el software se comporta como se pretende. Hasta ahora, estos métodos a menudo se han visto como demasiado especializados, demasiado costosos o demasiado lentos para un uso generalizado. Pero la IA puede cambiar eso. Los mismos avances que podrían ayudar a los atacantes, también podrían ayudarnos a encontrar debilidades y eliminarlas antes de que se desplieguen los sistemas, creando una oportunidad única para avanzar hacia un mundo sin vulnerabilidades en el software. Ponente: Kathleen Fisher, Agencia de Investigación y Comunicación Avanzada, Reino Unido Parte de CAV y FLoC 2026.