#security News & Analysis

AgensFlow: A Coordination-Policy Substrate for Multi-Agent Systems

AgensFlow is an open-source framework that treats multi-agent LLM coordination as a learnable policy problem rather than a fixed pipeline, enabling dynamic routing decisions across skill protocols, agent roles, and model bindings. Evaluated on distributed systems and security tasks, the framework demonstrates that learned coordination outperforms static designs while reducing exploration costs through warm-started policy graphs.

'No Airdrop': XRPL Developer Repeats Crucial Warning to XRP Community

An XRPL developer has reiterated warnings to the XRP community about the absence of an airdrop, echoing similar cautions from Ripple leadership earlier this month. The repeated warning suggests ongoing confusion or misinformation within the community that requires clarification from official sources.

Polymarket Vice President Denies Contract Hack, Confirms User Funds Are Safe

Polymarket VP Josh Stevens has denied that a contract hack occurred on the platform, asserting that all user funds remain secure despite a $520,000 legacy key compromise. The statement aims to quell speculation about the platform's security and reassure users of the integrity of their holdings.

A shallow dive into formal verification

This article provides an introductory overview of formal verification, a mathematical approach to proving software correctness that has become increasingly important in cryptocurrency and blockchain development. The piece examines how formal verification methods can enhance security and reliability in smart contracts and critical systems.

Do Androids Dream of Breaking the Game? Systematically Auditing AI Agent Benchmarks with BenchJack

AI Safety Landscape for Large Language Models: Taxonomy, State-of-the-art, and Future Directions

DeePen: Penetration Testing for Audio Deepfake Detection

Amplification to Synthesis: A Comparative Analysis of Cognitive Operations Before and After Generative AI

ChipMATE: Multi-Agent Training via Reinforcement Learning for Enhanced RTL Generation

Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis

Unweighted ranking for value-based decision making with uncertainty

Grid-Orch: An LLM-Powered Orchestrator for Distribution Grid Simulation and Analytics

Large Language Models for Agentic NetOps and AIOps: Architectures, Evaluation, and Safety

Language-Based Agent Control

Crypto wallet provider Ledger puts U.S. IPO plans on hold due to market conditions

The Evaluation Differential: When Frontier AI Models Recognise They Are Being Tested

Transformer Interpretability from Perspective of Attention and Gradient

COGNITION: From Evaluation to Defense against Multimodal LLM CAPTCHA Solvers

Can a Single Message Paralyze the AI Infrastructure? The Rise of AbO-DDoS Attacks through Targeted Mobius Injection

IPI-proxy: An Intercepting Proxy for Red-Teaming Web-Browsing AI Agents Against Indirect Prompt Injection

FLARE: Adaptive Multi-Dimensional Reputation for Robust Client Reliability in Federated Learning

Continuous Discovery of Vulnerabilities in LLM Serving Systems with Fuzzing

Natural Language based Specification and Verification

The Authorization-Execution Gap Is a Major Safety and Security Problem in Open-World Agents

DCVD: Dual-Channel Cross-Modal Fusion for Joint Vulnerability Detection and Localization