DeepMind usa IA para verificar formalmente garantias do protocolo Signal
Catégories: Inteligência Artificial
Pesquisadores do Google DeepMind verificaram formalmente garantias criptográficas do protocolo Signal com o framework AlphaProof Code em cerca de quatro semanas, sem encontrar novas vulnerabilidades nas partes analisadas.
Lire la suite