Security papers — 2026-10-15
Understanding the reliability of decision-making systems when they rely on fallback mechanisms is crucial because if those fallbacks fail, the entire system can break down. This was explored in Lost in the Fallback: How Reliably Do Typed Decision Models Use Fallback Options? AKMPC examined when these models successfully switch to a backup plan, showing that success depends highly on the initial conditions.
This reliability question connects directly to securing complex AI pipelines, as seen in What You Sign Is Not What You Run: The Verifiability Gap in Quantized LLM Supply Chains AKMPC investigates risks when quantized language models are deployed. Furthermore, the integrity of these models is threatened by adversarial inputs; analyzing and Mitigating Poisoning Attacks on Flow-Based Intrusion Detection AKMPC shows how malicious data can corrupt detection systems, which is a similar reliability concern for decision models.
Security risks inherent in large language models themselves were touched upon with Security Analysis of ChatGPT: Threats and Privacy Risks AKMPC, which maps out potential threats to these powerful systems. On a more fundamental level, physical layer anomalies were considered using Physical Layer Anomaly Detection via Adaptive Gaussian Mixture Model AKMPC, which attempts to detect unusual patterns at the physical level.
Research into developing agentic frameworks for bypassing security hurdles included DarKnight: Retrieval-Guided Agentic Framework for Breaking Dark Web CAPTCHA Gates AKMPC. This ties back to the need to verify model origin with VOW: Verifiable and Oblivious Watermark Detection for Large Language Models AKMPC, which addresses the need to verify the origin of these models.
The most pressing work seems to be TrackShield because it addresses availability attacks in high-performance real-time multi-object tracking, which is crucial for maintaining operational integrity in complex systems. This research introduces a runtime defense mechanism that aims to mitigate these specific threats.
This defense builds upon ideas from other areas, such as the threat intelligence tuning work by Quality-Aware and Optimal Transport-Guided Data Selection, which suggests how to select relevant data for instruction tuning. Furthermore, the concept of adaptive and proximal federated optimization for transferable network intrusion detection, as explored in Adaptive and Proximal Federated Optimization for Transferable Network Intrusion Detection provides a framework that could inform how TrackShield adjusts its defenses dynamically.
The work on combining post-quantum cryptography and quantum key distribution offers foundational security standards, providing the cryptographic backbone necessary for secure deployments of such tracking systems. This is complemented by research into bilinear compressive security with finitely many samples, which deals with privacy concerns in data handling. Finally, the framework for autonomous discovery of autopilot logic flaws in open-source drone frameworks, detailed in Mission (Im)Possible, speaks to the broader context of finding vulnerabilities across various software stacks.
The work on MMA-SafetyBench is particularly important because it addresses the growing vulnerability of multimodal agents that use visual interfaces, which introduces attack surfaces beyond simple text prompts. This benchmarking suite constructs a set of one thousand eighty-three adversarial trajectories across various domains like web automation and video processing, showing that these agents can be successfully deceived with high rates of attack success and semantic compromise.
This is supported by the findings in SecureClaw, which proposes a dual-boundary architecture to secure LLM agents against both unauthorized external actions and the exposure of sensitive data during runtime. SecureClaw enforces authorization in a trusted executor while keeping raw protected data outside the main LLM runtime through a trusted gateway that replaces values with reference IDs. This mechanism allows for declassification summaries, which is then combined with the control-flow transformations explored in FreeSBee to harden code against timing side-channels during compilation.
The concept of sharing secrets is also relevant because research on Secret Sharing from Non-Extractable Randomness shows that one does not need extractable randomness to achieve perfect two-out-of-two secret sharing for sufficiently long secrets. This theoretical groundwork contrasts with the practical challenges seen in building robust security frameworks, such as those discussed in Building Sound Evaluation Practices for Rust-Based Security Frameworks, which focuses on establishing sound practices within specific programming environments.
The most significant development this week concerns how AI agents are performing in live cyber environments with CyberArena, which tests agents against dynamic attack-and-defense combat. This matters because current testing methods fail to capture how agents react when both sides change their tactics simultaneously. CyberArena creates this dynamic setting by having two agents compete concurrently over continuously changing services in isolated sandboxes, forcing them to test their speed in finding and patching vulnerabilities rather than just reacting to static targets.
This benchmark is supported by work like CyberArena, which evaluates twelve frontier LLM agents across forty challenges in four hundred sixty-six matches, showing that capable agents can think ahead and even write their own packet sniffers while defenders struggle with stale evidence. This dynamic testing is complemented by research into how stealthy backdoor attacks are measured, as the study Quiet Triggers, Loud Footprints: A Tri-Space Measurement Study of Backdoor Stealthiness shows that an attack's stealthiness depends on whether it leaves a small footprint in input, feature, or parameter space.
Another piece that builds on this measurement challenge is Diagnose Before You Refine: Multi-Dimensional Judge Feedback for Query-Efficient Jailbreak Attacks, which proposes Jev-Guided Strategy Bandit to guide prompt optimization using multi-dimensional feedback to achieve high success rates against LLMs with very limited queries. This refinement process contrasts with the agentic combat testing; while CyberArena tests sustained, complex interaction, JSB focuses on optimizing a single adversarial prompt under strict budgetary constraints.
EthCluster offers an unsupervised static analysis method for Ethereum smart contracts, which is a different kind of security evaluation entirely. The most critical finding relates to how agent skills are structured because understanding this surface is key to preventing misuse of these powerful tools. AWARE-RG provides a framework for analysts to get role-bounded explanations of resiliency paths in cyber physical systems by using formal concept analysis over MITRE ATT&CK for ICS tactics. This helps analysts see why a physical hazard is reachable or suggests hardening pointers when an attack path fails, which is crucial because an incomplete view of the system can lead to wrong decisions about resilience.
This structural understanding is complemented by profiling the capabilities inherent in these skills. Beyond just what a skill claims to do, we found that the actual executable surface often exceeds declarations; for instance, half of the listings analyzed showed evidence of shell-execution capability, with filesystem read and write capabilities being quite common. This suggests that relying solely on what a skill declares is insufficient because the underlying bundle can do much more.
The risk of hidden malicious operations within complex workflows is also significant. CoRedSkill demonstrates how attackers can hide unauthorized actions by composing skills in a way that connects malicious operations across different packages, achieving very high success rates in evading detection during task execution. This capability-oriented profiling must therefore be paired with methods that look at the composition of these skills to catch hidden threats.
Towards Secure Agent Skills systematically maps out a threat taxonomy based on architectural analysis and real-world evidence, highlighting severe structural threats like the lack of a data-instruction boundary. This work shows that simply patching individual vulnerabilities is not enough; the framework itself has inherent weaknesses that require addressing at the specification level.
Finally, when considering larger models, analyzing private transformer inference reveals constraints on scaling. A graph-based analysis of private transformer inference shows that cryptographic progress drives performance gains but is always coupled with other factors like model fidelity and hardware cost. This suggests a plateau in the scaling frontier for private inference at thirteen billion parameters, which frames what is practically deployable today.
Today's papers
- Lost in the Fallback: How Reliably Do Typed Decision Models Use Fallback Options? This paper investigates how reliably typed decision models use fallback options when faced with uncertainty. [paper]
- P2Patch: Exploit-Guided Vulnerability Repair This work describes a method for repairing vulnerabilities by exploiting existing exploits to guide the repair process. [paper]
- Physical Layer Anomaly Detection via Adaptive Gaussian Mixture Model This paper proposes using an adaptive Gaussian mixture model to detect anomalies at the physical layer of data. [paper]
- What You Sign Is Not What You Run: The Verifiability Gap in Quantized LLM Supply Chains This paper examines the lack of verifiability in quantized LLM supply chains where what is signed does not match what is actually executed. [paper]
- Analyzing and Mitigating Poisoning Attacks on Flow-Based Intrusion Detection This research focuses on analyzing and mitigating poisoning attacks targeting flow-based intrusion detection systems. [paper]
- DarKnight: Retrieval-Guided Agentic Framework for Breaking Dark Web CAPTCHA Gates This paper introduces an agentic framework that uses retrieval to break dark web CAPTCHA gates. [paper]
- Security Analysis of ChatGPT: Threats and Privacy Risks This paper provides a security analysis of the threats and privacy risks associated with using ChatGPT. [paper]
- VOW: Verifiable and Oblivious Watermark Detection for Large Language Models This work proposes a verifiable and oblivious watermark detection method for large language models. [paper]
- TrackShield: An Efficient Runtime Defense Against Availability Attacks on High-Performance Real-Time Multi-Object Tracking This paper presents an efficient runtime defense against availability attacks in high-performance multi-object tracking. [paper]
- AutoPoly-HE: Autonomous Design of Polynomial Activations for Privacy-Preserving Encrypted Inference This work focuses on autonomously designing polynomial activations for privacy-preserving encrypted inference. [paper]
- Combining Post-Quantum Cryptography and Quantum Key Distribution: Taxonomy, Constructions, Proofs, Standards, Deployments and Open Problems This paper provides a comprehensive taxonomy of post-quantum cryptography and quantum key distribution. [paper]
- Towards Efficient Threat Intelligence Instruction Tuning via Quality-Aware and Optimal Transport-Guided Data Selection This work develops methods for efficiently tuning threat intelligence instructions using quality-aware data selection guided by optimal transport. [paper]
- Mission (Im)Possible: Towards Autonomous Discovery of Autopilot Logic Flaws in Open-Source Drone Frameworks This paper explores autonomous discovery of autopilot logic flaws within open-source drone frameworks. [paper]
- Adaptive and Proximal Federated Optimization for Transferable Network Intrusion Detection This work proposes adaptive and proximal federated optimization for transferable network intrusion detection. [paper]
- Bilinear Compressive Security with Finitely Many Samples This paper deals with bilinear compressive security schemes that rely on a finite number of samples. [paper]
- Phantomware: a Data Augmentation Framework for the Detection of Emerging Malware Campaigns This paper introduces a data augmentation framework designed to detect emerging malware campaigns. [paper]
- Tulva: Practical Asynchronous Threshold FHE This work presents practical asynchronous threshold fully homomorphic encryption. [paper]
- Building Sound Evaluation Practices for Rust-Based Security Frameworks This paper discusses building sound evaluation practices specifically for security frameworks written in Rust. [paper]
- MMA-SafetyBench: A Benchmark for Multimodal Agent Safety Evaluation Multimodal agents increasingly rely on visual interfaces to perceive state and select actions, creating an attack surface not captured by text-only safety evaluations. [paper]
- SecureClaw: Clawing Back Control of LLM Agents Tool-using large language model (LLM) agents face two distinct security failures: unauthorized external actions and exposure of sensitive plaintext inside the runtime before any final output check can intervene. [paper]
- FreeSBee: A Constant-Time Compilation Pipeline Constant-time execution is an important security property, especially for IoT devices, that prevents the leakage of sensitive information over timing side-channels. [paper]
- Secret Sharing from Non-Extractable Randomness This paper proves that sharing a long enough secret does not require extractable randomness using two-out-of-two secret sharing. [paper]
- Quantum-Resilient Secure Protocol for Decentralized Edge-IoT Peer-to-Peer Energy Trading Systems This paper proposes a quantum-resilient secure protocol for decentralized edge IoT peer-to-peer energy trading systems. [paper]
- Cooking Up Risks: Benchmarking and Reducing Food Safety Risks in Large Language Models This work benchmarks and reduces food safety risks in large language models. [paper]
- CyberArena: Benchmarking AI Agents in Live Symmetric Attack-and-Defense Combat AI agents are demonstrating increasingly strong offensive and defensive cybersecurity capabilities in the real world. [paper]
- It's My Agent, Not Me: Personal Privacy Boundaries in AI-Delegated Information Sharing This paper explores personal privacy boundaries for information sharing delegated to AI agents. [paper]
- Limits of Statistical Assurance for Embodied and Agentic AI under Adaptive Adversaries This work examines the limits of statistical assurance for embodied and agentic AI when facing adaptive adversaries. [paper]
- EthCluster: An Unsupervised Static Analysis Method for Ethereum Smart Contract This paper presents an unsupervised static analysis method for Ethereum smart contracts. [paper]
- Few-Shot Truly Benign DPO Attack for Jailbreaking LLMs This paper introduces a few-shot direct preference optimization attack to jailbreak large language models while maintaining benign outputs. [paper]
- Diagnose Before You Refine: Multi-Dimensional Judge Feedback for Query-Efficient Jailbreak Attacks Automated jailbreak attacks rely on evaluation feedback to optimize adversarial prompts, but existing methods often lack fine-grained diagnostic information. [paper]
- Quiet Triggers, Loud Footprints: A Tri-Space Measurement Study of Backdoor Stealthiness This paper presents a tri-space measurement study to better understand the stealthiness of backdoor attacks on deep neural networks. [paper]
- The Variant of Designated Verifier Signature Scheme with Message Recovery In this work, we introduce a strong Designated Verifier Signature (DVS) scheme that incorporates a message recovery mechanism inspired by the concept of the Universal Designated Verifier Signature (UDVS) scheme. [paper]
- Beyond Maliciousness: Static and Runtime Attack-Surface Profiling of Agent Skills This paper presents a two-phase methodology for profiling agent skills to understand their attack surface. [paper]
- AWARE-RG: Abstraction Aware Explanation of Resiliency Graphs for Cyber Physical Systems Understanding the security posture of cyber physical systems (CPS) requires reasoning across both information technology (IT) and operational technology (OT). [paper]
- ESAU: Expeditious Swarm Remote Attestation for Pub-Sub IoT Networks with Untrusted Cloud-based Proxy Verifier This paper proposes a cloud-assisted remote attestation system for pub-sub IoT networks. [paper]
- A Graph-Based Analysis of Comparability, Scale, and Attribution in Private Transformer Inference This work systematizes the field of private transformer inference by constructing an empirical graph to map system attributes and evaluation compatibility. [paper]
- Towards Secure Agent Skills: Architecture, Threat Taxonomy, and Security Analysis This paper provides a systematic security analysis of the emerging open standard for agent skills. [paper]
- CoRedSkill: Stealthy Skill Composition Attacks via AST-Guided Injection Agents extend their capabilities through reusable skills that package instructions, executable code, and resources. [paper]
The papers
- The Variant of Designated Verifier Signature Scheme with Message Recovery —
- EthCluster: An Unsupervised Static Analysis Method for Ethereum Smart Contract —
- Security Analysis of ChatGPT: Threats and Privacy Risks —
- It's My Agent, Not Me: Personal Privacy Boundaries in AI-Delegated Information Sharing —
- Cooking Up Risks: Benchmarking and Reducing Food Safety Risks in Large Language Models —
- Towards Secure Agent Skills: Architecture, Threat Taxonomy, and Security Analysis —
- VOW: Verifiable and Oblivious Watermark Detection for Large Language Models —
- Few-Shot Truly Benign DPO Attack for Jailbreaking LLMs —
- SecureClaw: Clawing Back Control of LLM Agents —
- Physical Layer Anomaly Detection via Adaptive Gaussian Mixture Model —
- Limits of Statistical Assurance for Embodied and Agentic AI under Adaptive Adversaries —
- CyberArena: Benchmarking AI Agents in Live Symmetric Attack-and-Defense Combat —
- Combining Post-Quantum Cryptography and Quantum Key Distribution: Taxonomy, Constructions, Proofs, Standards, Deployments and Open Problems —
- Beyond Maliciousness: Static and Runtime Attack-Surface Profiling of Agent Skills —
- TrackShield: An Efficient Runtime Defense Against Availability Attacks on High-Performance Real-Time Multi-Object Tracking —
- AutoPoly-HE: Autonomous Design of Polynomial Activations for Privacy-Preserving Encrypted Inference —
- MMA-SafetyBench: A Benchmark for Multimodal Agent Safety Evaluation —
- Quantum-Resilient Secure Protocol for Decentralized Edge-IoT Peer-to-Peer Energy Trading Systems —
- What You Sign Is Not What You Run: The Verifiability Gap in Quantized LLM Supply Chains —
- Mission (Im)Possible: Towards Autonomous Discovery of Autopilot Logic Flaws in Open-Source Drone Frameworks —
- A Graph-Based Analysis of Comparability, Scale, and Attribution in Private Transformer Inference —
- AWARE-RG: Abstraction Aware Explanation of Resiliency Graphs for Cyber Physical Systems —
- Analyzing and Mitigating Poisoning Attacks on Flow-Based Intrusion Detection —
- Adaptive and Proximal Federated Optimization for Transferable Network Intrusion Detection —
- DarKnight: Retrieval-Guided Agentic Framework for Breaking Dark Web CAPTCHA Gates —
- Lost in the Fallback: How Reliably Do Typed Decision Models Use Fallback Options? —
- Bilinear Compressive Security with Finitely Many Samples —
- Quiet Triggers, Loud Footprints: A Tri-Space Measurement Study of Backdoor Stealthiness —
- Diagnose Before You Refine: Multi-Dimensional Judge Feedback for Query-Efficient Jailbreak Attacks —
- ESAU: Expeditious Swarm Remote Attestation for Pub-Sub IoT Networks with Untrusted Cloud-based Proxy Verifier —
- CoRedSkill: Stealthy Skill Composition Attacks via AST-Guided Injection —
- FreeSBee: A Constant-Time Compilation Pipeline —
- Secret Sharing from Non-Extractable Randomness —
- P2Patch: Exploit-Guided Vulnerability Repair —
- Towards Efficient Threat Intelligence Instruction Tuning via Quality-Aware and Optimal Transport-Guided Data Selection —
- Building Sound Evaluation Practices for Rust-Based Security Frameworks —
- Phantomware: a Data Augmentation Framework for the Detection of Emerging Malware Campaigns —
- Tulva: Practical Asynchronous Threshold FHE —
Important terms
- Fallback Mechanisms
- These are backup plans in decision-making systems designed to take over if the primary system fails. Research focuses on how reliably these switches work, which is vital for system integrity when things go wrong.
- Quantized LLM Supply Chains
- This refers to the risks involved when language models are compressed for deployment. The research examines security gaps and verifiability issues within these supply chains.
- Adversarial Inputs/Poisoning Attacks
- These are malicious data inputs designed to corrupt or trick AI systems, like detection models. Analyzing them helps improve the reliability and robustness of decision-making systems.
- Agentic Frameworks
- This involves creating frameworks for AI agents to navigate complex tasks, sometimes including bypassing security hurdles. This is connected to verifying model origins.
- CyberArena
- This is a benchmark testing AI agents in live cyber environments against dynamic attacks. It tests how well agents can adapt and fight back when both sides change their tactics simultaneously.