谷歌 DeepMind 的新人工智能工具证明信号协议是安全的

原文：A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure

DeepMind 研究人员能够正式验证广泛使用的加密协议是否按预期工作。他们的延伸目标？对“世界上所有的软件”做同样的事情。

正文由本站服务器抓取保存（已自动过滤广告、推荐位与追踪图片），排版与原站可能不同；版权归原站所有。