DeepMind 新 AI 工具形式化验证 Signal 加密协议安全性
Wired AI · rss · 2026-11-10
Google DeepMind 开发的新 AI 工具成功对广泛使用的 Signal 加密协议完成形式化验证,证明其按设计意图安全运作。这是 AI 驱动形式化方法的重要里程碑。团队的延伸目标更为宏大:对「全世界的软件」做到同样的验证。
「安全」频道最新
- Fireworks AI 遭入侵，Notion 不到 1% 工作区的 AI 聊天记录泄露 — AccBalanced · 2026-11-10
- Anthropic 团队开发 MAEM：能读出 AI 面临删除时的内部想法 — belindazli · 2026-11-10
- 印第安纳小城真立法「市界内禁止超级智能」，研究者直呼漂亮 — yoavgo · 2026-11-10
- 用户用 Claude Code 做家庭网络安全审计，竟发现自己婴儿监视器在网上直播 — mikeflache · 2026-11-10
- Meta 与 Sierra 牵头工作组，为 AI 智能体建「数字护照」标准 — mikeflache · 2026-11-10
- WEF 发布智能体 AI 治理报告：管控系统性风险以推动可信采用 — mikeflache · 2026-11-10