Google DeepMind melds humans and AI agents to vet Signal's secure messaging techniques

First reported by Wired at Mon 11:01 PM · 2 outlets in all

1. The Register27hGoogle DeepMind melds humans and AI agents to vet Signal's secure messaging techniquesPost-quantum handshake and Triple Ratchet get a formal security check
2. Wired(subscription required)34hA New AI Tool From Google DeepMind Proved the Signal Protocol Is SecureDeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”