Google’s new AI tool just proved Signal encryption really works – here’s how

ZDNET’s key takeaways

• Researchers formally verified that a portion of Signal’s encryption code works.
• Formally verifying code has historically been hard and time-consuming
• AlphaProof Code is a step toward stronger security verification.

Researchers at Google DeepMind used AI to formally verify portions of Signal‘s underlying code — meaning they’ve mathematically proven that at least parts of the encrypted messaging app’s code do what they say, without errors. That’s reassuring given how many vulnerabilities AI systems have discovered in software lately, and how many people’s communications are protected by Signal’s cryptography. WhatsApp and Google Messages use the same encryption.

Also: How AI security failures are endangering your supply chain

How DeepMind verified Signal

AI companies like OpenAI have been on a math-breakthrough tear as of late, in some cases solving nearly century-old math problems with AI. By computing at such vast scale, AI models can rapidly accelerate much of...

Copyright of this story solely belongs to www.zdnet.com. To see the full text click HERE