Le protocole de chiffrement dont la sécurité a été formellement vérifiée par l'outil d'IA.
Google DeepMind a utilisé un nouvel outil d'IA pour vérifier la sécurité du protocole Signal, ouvrant la voie à une amélioration globale de la sécurité logicielle. Cette avancée pourrait transformer la manière dont les logiciels sont sécurisés à l'échelle mondiale.
