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

Post-quantum handshake and Triple Ratchet get a formal security check