Search

2 results for "software supply chain"

A cybersecurity operations center where a person is reviewing related to an AI safety company and Theorem Use an AI assistant to Gene from an unusual angle or perspective

Security & Privacy · 4 min read

Anthropic and Theorem Use Claude to Generate Machine-Checkable Security Proofs for 123 Open-Source Libraries

Anthropic and Theorem published results showing Claude generated machine-checkable formal security proofs for 123 open-source libraries — the first large-scale AI deployment for software formal verification.

2h ago

A cybersecurity operations center at night

Security & Privacy · 4 min read

Anthropic Launches Project Glasswing Coalition to Secure AI Supply Chains Against Autonomous Attacks

Anthropic launched Project Glasswing, uniting AWS, Apple, Cisco, CrowdStrike, Google, JPMorgan Chase, Microsoft, NVIDIA, and Palo Alto Networks under the Linux Foundation to defend software supply chains against AI-powered attacks.

Apr 12