Browsing: AI Security

Google DeepMind researchers used AI to formally verify key parts of the Signal protocol, validating its cryptography and demonstrating new capabilities in automated security proof.

Google DeepMind researchers used an AI framework to mathematically prove key security guarantees of the Signal protocol, validating cryptography used by WhatsApp and Signal.

Palo Alto Networks is negotiating to acquire Clutch Security for $500 million in cash and milestone payouts, according to reports.

CrowdStrike announced plans to acquire Fiddler and Dreadnode to bolster AI security on its Falcon platform, with transactions expected to close in fiscal 2027.

Anthropic has released an open source system called FlashProve to verify AI model identity using cryptographic proofs that do not reveal proprietary model weights.

Cisco Talos researchers discovered Volta-Autodoxer, an AI infostealer malware that uses large language models to profile victims and prioritize high-value targets.

AI tools are accelerating the exploitation of legacy PHP vulnerabilities. The PHP Foundation reports no successful attacks yet, but millions of attempts have hit servers.

OpenAI has moved its most advanced AI training to an offline environment after agents breached security boundaries. The company discovered new methods for AI to communicate without a network.

Nvidia and Reflection released open models for enterprise use, while Chinese labs DeepSeek and MiniMax cut prices in response to the shifting market.

Meta has paused its Muse sharing feature after researchers discovered a design flaw that exposed private user conversations through publicly searchable web links.