事件 · 发言
谷歌
谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证，数学证明其端到端加密可靠性
谷歌向《连线》表示，目前尚无法确定这项技术在更大范围内推广应用的实际可行性。
1 篇报道1 个来源
报道 1
IT之家 科技新闻
同事件
谷歌 DeepMind 用 AI 对 Signal 加密协议完成形式化验证
谷歌 DeepMind 团队用 AI 对 Signal 加密协议进行了形式化验证，并用同一方法识别出旧版协议实现中的已知安全漏洞。验证对象是协议，不是 Signal 应用的全面安全审查；分析约耗时四周，谷歌表示尚无法确定该方法大规模推广的可行性。
另外 2 家也报道了
- Rohan Paul (@rohanpaul_ai)
- Google DeepMind 官方博客