DeepMind usa IA para verificar formalmente garantias do protocolo Signal
Categorías: 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.
Leer más