AI Reports · Google DeepMind · 2026-11-10 · Blog / commentary
Formal Verification of Signal’s Protocol with Gemini
Google DeepMind researchers used AlphaProof Code, a new agentic framework, to guide AI agents in mathematically proving key security properties of the code behind the Signal protocol. Human experts decided what to prove and reviewed the security specifications, while AI agents carried out the proofs in Lean. The agents also audited the proofs and flagged areas that needed a second look from a human.