Google DeepMind researchers have used a new artificial intelligence framework, AlphaProof Code, to mathematically verify key security features of Signal's encryption protocol.
The four-week research project found no new vulnerabilities in the parts of the protocol examined. The technology verified important protections designed to keep messages confidential and prevent unauthorised access.
The research could help make security testing faster and more effective across widely used software. However, the verification did not cover the entire Signal application.
The Signal protocol also underpins encryption used by platforms including WhatsApp and Google Messages.
-AH