{
  "id": 19327194,
  "title": "Google DeepMind melds humans and AI agents to vet Signal's secure messaging techniques",
  "url": "https://urgent.news/2026/11/10/google-deepmind-melds-humans-and-ai-agents-to-vet-signals-secure-19327194",
  "topic": "ai",
  "section": "AI",
  "published": "2026-11-10T12:00:00.000Z",
  "source": {
    "name": "The Register",
    "slug": "the-register",
    "url": "https://www.theregister.com/ai-and-ml/2026/11/10/google-deepmind-melds-humans-and-ai-agents-to-vet-signals-secure-messaging-techniques/5308625"
  },
  "original_language": "en",
  "account": "Google DeepMind researchers have successfully verified the security of Signal's messaging system using AI, marking the first time AI has helped create a proof linking protocol-level security guarantees to cryptographic implementations. They utilized AlphaProof Code, a multi-agent framework that combines human-guided agents with machine learning. AlphaProof Code validated Signal's post-quantum PQXDH handshake and Triple Ratchet, ensuring the design of libsignal's forward secrecy, authentication, post-compromise security, and handshake secrecy. The team, including Swarat Chaudhuri, Andrew Ferraiuolo, and others, worked on transforming Signal's security goals into a mathematical specification reviewed by humans. The researchers generated 6.5 million lines of Lean code using Gemini Carbon agents, which required human review for bits that needed attention. While the verification is theoretical and doesn't guarantee computational secrecy, it represents a meaningful assertion of correctness. The process highlights the importance of human-AI collaboration in formal methods and aims to scale up verification to large codebases, emphasizing the need for better specification and design processes in software development.",
  "summary": "Post-quantum handshake and Triple Ratchet get a formal security check",
  "key_points": [],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 2,
    "also_reported_by": [
      {
        "outlet": "Wired",
        "title": "A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure",
        "url": "https://urgent.news/2026/11/10/a-new-ai-tool-from-google-deepmind-proved-the-signal-protocol-is",
        "published": "2026-11-10T05:01:00.000Z"
      }
    ]
  },
  "ai_generated": true,
  "disclaimer": "Summaries, key points and the editor’s take are written by software from other outlets’ reporting and may contain errors — always check the linked original."
}