DeepMind usa IA para verificar formalmente garantias do protocolo Signal
Categorias: 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.
Leia mais