DeepMind usa IA para verificar formalmente garantias do protocolo Signal
文章分类: 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.
阅读全文