Google DeepMind Verifies Signal Protocol With AI In Four Weeks

Google DeepMind researchers used an AI system called AlphaProof Code to mathematically verify core cryptographic guarantees of the Signal protocol in a four-week proof-of-concept. The protocol secures communications in Signal, WhatsApp, and Google Messages. The system found no new vulnerabilities in current versions and correctly identified known flaws in older versions. DeepMind published the formal specifications and proofs, marking a milestone for AI-assisted formal verification, th