搜索
DeepMind 用 AI 工具形式化验证 Signal 协议安全
1 小时前
Google DeepMind研究人员利用新AI框架AlphaProof Code，在四周内完成Signal协议的形式化验证。结果显示，当前受检协议部分未发现新漏洞，且能正确识别存在已知旧漏洞的旧版Signal问题，判定其无法通过验证。该成果被视为形式化验证向全球各类软件拓展的里程碑。研究人员已公开本次分析开发的规范与证明，为其他形式化验证工作提供助力。
