
Google DeepMind formally verifies Signal encryption used by WhatsApp
A Google DeepMind team has mathematically proven the security of the Signal protocol, the encryption system behind Signal, WhatsApp and Google Messages. The work points to a bigger role for AI in verifying critical software.