Le cofondateur d’Ethereum, Vitalik Buterin, a exprimé son désaccord avec l’idée que l’intelligence artificielle rendrait la cybersécurité impossible à remporter. Selon lui, l’IA pourrait en réalité donner aux défenseurs les outils nécessaires pour créer des logiciels beaucoup plus difficiles à exploiter, notamment grâce à la vérification formelle, une méthode permettant de prouver mathématiquement la sécurité d’un programme. Buterin a révélé que près de 90 % de sa fortune personnelle reste investie en cryptomonnaie, ce qui revient à parier implicitement sur la possibilité de construire des systèmes numériques suffisamment sécurisés face à des attaquants de plus en plus sophistiqués. Il a toutefois reconnu que le principal défi réside dans la définition même de ce qu’est un système « sécurisé », un problème complexe qu’il illustre notamment avec l’application de messagerie chiffrée Signal.
Source: Lire l’article original
