Google DeepMind用AI工具验证Signal协议部分安全性
热点事件持续更新
Google DeepMind用AI工具验证Signal协议部分安全性
1 篇报道1 个报道来源5 小时前更新
先了解这件事
AI 综述
Google DeepMind的研究人员使用其AI工具AlphaProof Code，在四个月内完成了对Signal协议部分关键加密属性的形式化验证。该研究作为概念验证项目，未发现被验证部分的新漏洞，但成功识别了旧版本中已知且已修复的漏洞。 DeepMind称，此次分析是免费进行的研究项目，并未对完整的Signal移动应用进行形式化验证。
AI 根据报道生成 · 4 小时前更新
最新进展11月10日 13:01
Google DeepMind 用 AlphaProof Code 证明 Signal 协议的安全性报道时间线
沿着报道，了解事件的不同侧面。
11月10日
- Wired · AIGoogle DeepMind 用 AlphaProof Code 证明 Signal 协议的安全性
Google DeepMind 研究人员使用 AlphaProof Code 框架在四个月内完成了对 Signal 协议若干关键加密保证的数学证明。该工作验证了 Signal 协议在保护全球通信中的安全性，并展示了 DeepMind 在形式化验证方面的能力。此次分析未发现 Signal 协议中被验证部分的新漏洞，但能正确识别旧版本中已知且已修复的漏洞，并表明形式化验证在 AI 协助下具备扩展潜力。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 911月10日 15:00
- 近 24 小时变化
- –
02.557.510
15:0016:0017:0018:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。