谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证，数学证明其端到端加密可靠性Chinese only

Google DeepMind uses AI to formally verify the Signal encryption protocol

Google DeepMind used AI to formally verify the Signal encryption protocol and used the same method to identify known security flaws in older protocol implementations. The work verified the protocol, not the entire Signal app; the analysis took about four weeks, and Google says it cannot yet determine whether the method is feasible at a larger scale.

2 more sources reported this

• Rohan Paul (@rohanpaul_ai)
• Google DeepMind 官方博客

Same event; featured as “Google DeepMind 用 AlphaProof Code 验证 Signal 协议实际代码的关键安全属性”