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