Un experto neozelandés en ciberseguridad dice que las matemáticas son una defensa contra el superhackeo con IA
El experto neozelandés en ciberseguridad Boyd Multerer defiende un enfoque basado en las matemáticas para protegerse de los ataques avanzados impulsados por IA. El director ejecutivo de Kry10 promueve los "métodos formales", que ahora prueba la Fuerza Aérea de EE. UU.
El experto neozelandés en ciberseguridad Boyd Multerer, director ejecutivo de Kry10, defiende un enfoque basado en las matemáticas para protegerse de los ciberataques avanzados impulsados por IA. Sostiene que ese enfoque, conocido como métodos formales, puede reforzar la seguridad del software.
Según RNZ, los métodos formales se basan en verificar matemáticamente que un sistema se comporta como se espera, y la técnica ya la prueba la Fuerza Aérea de EE. UU. El objetivo es cerrar vulnerabilidades de forma demostrable.
El potencial de la IA para automatizar y ampliar los ciberataques preocupa cada vez más a los expertos. Especialistas como Multerer subrayan que las defensas tradicionales podrían no bastar.
Para seguir leyendo
Las bolsas de Asia se sacuden por una nueva oleada de ventas tecnológicas tras la subida de precios de Apple
Una nueva oleada de ventas en las acciones tecnológicas sacudió las bolsas asiáticas después de que Apple subiera los precios de algunos productos. Los analistas dicen que las subidas son señal de que el poder de fijación de precios del sector podría ir en detrimento de la demanda futura.
China avanza hacia la regulación de los agentes de IA con un sistema de identidad unificado
Trump amenaza con aranceles del 100 % a los países que aplican impuestos a los servicios digitales
Kawasaki Heavy y Airbus se unen para un dron antisubmarino para Japón
