Software Security
2 articles
Research & Breakthroughs
AI Agents Finally Made Formal Verification Practical — and Signal's Core Code Is the Proof
Google DeepMind's AlphaProof Code, powered by Gemini AI agents, has achieved formal verification of Signal's unmodified, compiled libsignal code, a task historically requiring decades of manual effort. This breakthrough makes rigorous mathematical proof of software security practical for widely used cryptographic protocols.
David Katzman·November 11, 2026
Product Reviews
OpenAI launches Patch the Planet to secure open-source software
In just its first week, OpenAI's 'Patch the Planet' initiative uncovered hundreds of bugs and generated 64 pull requests with 51 issues filed across 19 open-source projects, according to The...
Isabella Rossi·June 23, 2026