Google DeepMind’s new AI mathematically proved key parts of Signal’s encryption are secure

Google DeepMind has used a new AI system called AlphaProof Code to mathematically verify key security guarantees of the Signal protocol. The four-week research project found no new vulnerabilities and correctly flagged older versions of the protocol containing known flaws. DeepMind has released its specification and proofs, though it has not announced plans to commercialize the tool or scale it to all software. Open article →