Cyber defence - AIooze

Anthropic uses Claude to prove 123 open-source libraries crash-free, finding hidden bugs on the way

Anthropic says Claude produced computer-checked proofs that 239 entry points in 123 open-source libraries cannot crash, fixing long-hidden bugs first.

AI helped find two critical PHP flaws, and the NSA says patch now

Two critical PHP flaws let attackers take over web servers without logging in. Here is the problem, what it means and exactly…

Claude traces the mysterious seeds behind NIST’s elliptic curves to a 1990s random number generator

Anthropic says Claude worked out how the seeds for NIST’s P-curves were generated, and that the answer makes a hidden backdoor less…

Google DeepMind and GovTech tune Gemma to catch scams on the handset

A Gemma model tuned on Singapore’s own scam patterns runs on the phone rather than a server, and Google has not said…

Anthropic opens a cyber defence programme for grids and open source

Anthropic has launched a cyber defence effort with eleven named founding partners for operational technology, plus free automated security scans for open-source…

Anthropic opens offensive cyber capabilities to vetted defenders, and publishes the gap between tiers

Anthropic has merged two schemes into a three-tier Cyber Verification Program, and published how differently its models behave for a defender and…

Google pauses one part of its open-source bug bounty, not all of it

Google has temporarily stopped taking product vulnerability reports for its open-source bug bounty, blaming a rise in automated submissions, though supply chain…

Google launches Gemini 4 Argon, cyber defenders first in line

Google’s new frontier model reaches trusted cyber defenders and a US government pre-release process before it reaches developers.

OpenAI opens its Daybreak cyber programme to Ukraine

Ukraine’s government gets access to OpenAI’s gated Daybreak security programme, with no stated duration, cost or oversight terms.