Un expert néo-zélandais en cybersécurité estime que les mathématiques protègent contre le superpiratage par IA
L'expert néo-zélandais en cybersécurité Boyd Multerer défend une approche fondée sur les mathématiques pour se protéger des attaques avancées pilotées par l'IA. Le PDG de Kry10 promeut les « méthodes formelles », désormais testées par l'US Air Force.
L'expert néo-zélandais en cybersécurité Boyd Multerer, PDG de Kry10, défend une approche fondée sur les mathématiques pour contrer les cyberattaques avancées pilotées par l'IA. Il estime que cette approche, dite des méthodes formelles, peut renforcer la sécurité des logiciels.
Selon RNZ, les méthodes formelles consistent à vérifier mathématiquement qu'un système se comporte comme prévu ; la technique est déjà testée par l'US Air Force. L'objectif est de combler les failles de manière démontrable.
Le risque que l'IA automatise et amplifie les cyberattaques inquiète de plus en plus les experts. Des spécialistes comme Multerer soulignent que les défenses traditionnelles pourraient ne plus suffire.
À lire ensuite
Les Bourses asiatiques secouées par une nouvelle vente massive de valeurs technologiques
Une nouvelle vague de ventes de valeurs technologiques a secoué les Bourses asiatiques après qu'Apple a relevé les prix de certains produits. Selon les analystes, ces hausses montrent que le pouvoir de fixation des prix du secteur pourrait peser sur la demande future.
La Chine veut réguler les agents d'IA avec un système d'identité unifié
Trump menace de droits de douane de 100 % les pays imposant des taxes sur les services numériques
Kawasaki Heavy et Airbus s'associent pour un drone anti-sous-marin destiné au Japon
