Approval Laundering: Systematizing Approval--Execution Binding Failures in AI Coding-Agent Harnesses
该论文聚焦于 AI 编码代理运行时框架（AI coding-agent harness，如 Claude Code、Codex CLI、Cursor）安全边界所依赖的一个长期未被严格验证的假设：人类审批通过的动作 A，与框架实际执行的动作
2026-10-02 归档
今日共收录 1399 条安全情报，包含 504 个 CVE，518 篇安全通告，以及 100 篇研究论文。
← 返回归档列表The Achilles' Heel of Partial Reconfiguration: Optical Side-Channel Leakage on the 7-Series ICAP
该论文聚焦 FPGA 比特流保护机制的可修补性与剩余物理攻击面这一矛盾。背景是：主流 FPGA 厂商已在器件中固化比特流加密，但对应用最广的 FPGA 系列而言，已有多种针对不可修补（hard-wired）保护方案的攻击可绕过甚至完全破解这
Key-Reuse Vulnerability of Phase-Keyed Fourier-Curve Modulation: Relation Leakage and Key-Refresh Cost on Coded Links
本文研究"密钥调制"（keyed modulation）安全性论证中的一个盲区。传统上，密钥调制的安全性往往用两个指标来论证：一是密钥空间足够大，二是无密钥接收机的误码率足够高。作者指出，当密钥被复用、且波形在谐波上相互耦合时，这两类证据都
A Safe Prototype Is Not a Safety Direction: Reference Dependence and Prompt Confounds in Response-Safety Embeddings
该论文审计了一个被提出的 sleeper-agent 检测器的核心打分规则：用响应嵌入与“已知安全响应均值嵌入”的余弦相似度来给响应安全性打分。作者指出，这一“原始正类质心”（raw positive centroid）规则在方法论上不可识
ReCast: Contract-Preserving Protection for Fixed-Interface Multimodal Reasoning
该论文关注远程多模态大模型在处理图表、语音等媒介输入时面临的隐私泄露问题。远程模型在数值推理任务（如 ChartQA 图表问答、NMSQA 语音数值问答）上能力很强，但把私有输入直接上传到远端会暴露敏感内容。现有防护手段存在两类局限：纯文本
AuraForge: Scaling Security Supervision for Training Coding Agents
该论文关注一个正在浮现的安全缺口: 随着编码智能体 (coding agents) 能力提升, 已能从单条自然语言提示生成完整的复杂软件应用, 人类的监督方式也随之从逐行代码审查, 转变为对最终运行结果的粗粒度、放手式验收。作者指出, 这种
System-Level Optimization Beyond Cryptographic Kernels: An ML-KEM Case Study on Arm Cortex-M7
该论文研究嵌入式后量子密码的系统级优化，而非仅依赖指令级或算术内核优化。作者以 Arm Cortex-M7 上的 ML-KEM（模块格密钥封装机制）为案例，在已有 SLOTHY 优化实现基础上，进一步考察存储层次利用、紧耦合内存（TCM）放
SAGE: Similarity-Based Cleaning of Poisoned Training Data from Verified Examples
该论文关注机器学习训练数据供应链安全中的核心痛点：当训练数据来自公开、不可信的数据源时，攻击者可通过数据投毒（data poisoning）向训练集中注入恶意样本，诱导模型对攻击者选定的目标样本产生误分类。论文指出，现有防御方案大体分成两类
On the Relationship between Model Quantization and Model Inversion Attacks
本文研究模型量化与模型反演攻击（Model Inversion）之间的关系。量化通过降低神经网络权重与激活的数值精度来减少存储与计算开销，而模型反演攻击可从模型输出或中间特征中恢复、重建敏感训练数据或推理输入，因此量化很可能改变这类攻击的有
Deny Without Disabling: Authorization-Paired Evaluation and Control for Multi-Agent Systems
该论文研究多智能体系统（Multi-Agent Systems）在协作过程中出现的一类新型安全问题：多个智能体各自独立贡献的信息或动作，单独看都是可接受的（admissible），但组合起来却可能共同促成一项被禁止的用途。作者指出，完全阻断
Learnt Attacks on Quantum Key Distribution under Channel Noise and Device Drift
量子密钥分发(QKD)链路的安全参数通常基于平稳信道假设下的安全性分析来配置，而真实设备在两次重新校准之间会发生漂移，使信道并非平稳。此前尚未量化一个关键问题：如果窃听者无法改变信道自身的噪声，仅通过跟随这种漂移来调整攻击电路，她究竟能多获
SoK: Decentralized Agent Economic Infrastructure
该论文是一篇 SoK（系统性知识梳理），聚焦「去中心化智能体经济基础设施」。研究背景是：去中心化智能体经济倾向于把原本各自独立设计、独立做安全假设的协议拼装成同一个任务工作流（例如托管合约 + 验证机制 + 结算流程）。由此产生一个看似简单
Sapien: A Stateful Policy Engine for Autonomous AI Agents
自主 AI 智能体（agent）通过工具调用完成多步任务，这类能力在提升自动化效率的同时也带来了新的安全风险：被提示注入或目标劫持的 agent 可能执行越权、破坏性或数据外泄操作。情境化安全防御（contextual security d
RAGScope: A Leakage-Controlled, Cost-Aware Evidence-Gating Protocol for RAG Hallucination Triage
RAGScope 是一篇面向检索增强生成(RAG)幻觉治理的系统性评测协议论文。研究动机在于:RAG 系统每日产生大量生成式答案,若全部交给高成本强验证器(如 NLI 模型或专用幻觉评估模型)逐条判定,算力与延迟开销不可接受;理想做法是做分
QUFIG: GNN-Based Prediction of Quantum Fault Injection Vulnerabilities with Gate-Level Precision
该论文关注云化量子计算平台中新兴的可靠性与安全性问题：随着量子硬件规模扩大与云访问普及，攻击者可在电路运行期实施故障注入（fault injection）攻击，从而破坏量子线路的保真度。作者指出，已有工作存在两个明显短板：一是无法在“门级（
Made to Measure: Designing Image Watermarks to Specification
本文研究图像水印在真实部署中面临的"多目标联合满足"问题。图像水印通过在图像中嵌入可验证的身份信息来支撑内容溯源与归属判定，但实际落地时必须同时满足四类相互冲突的约束：抗攻击能力（对压缩、裁剪、缩放等变换的鲁棒性）、假阳性率（FPR）预算、
Security Properties of Neural Networks as Decision Problems
本文指出现有验证文献尚未分类神经网络部署认证中的若干决策问题，并形式化八类安全属性：模型是否含训练数据植入的后门、存储参数故障能否导致不安全状态、输出是否泄露输入私有部分等。核心方法基于逻辑观察：分段线性网络计算的函数及全部节点取值，可由规
Exploiting Vulnerabilities: Universal Adversarial Attacks on Vision-Language-Action Models in Robotics
该论文研究视觉-语言-动作（VLA）模型在机器人操作场景下的对抗安全性问题。VLA 模型将视觉感知、语言理解与动作生成统一到端到端学习框架中，使机器人能够依据自然语言指令直接完成物理操作任务，但正因其输出直接作用于物理世界并与人类共处同一空
SteerProbe: Learning to Bypass Safety Steering in Vision-Language Models
该论文研究视觉-语言模型（VLM）中激活引导（activation steering）这一推理期防御的鲁棒性问题。激活引导通过修改中间层表示而不更新主干参数来抑制有害输出，但论文指出，在基准输入上表现良好的防护，未必能延续到同一有害请求的其
On the pseudorandomness of simple quantum processes
该论文研究量子信息与密码学中的基础问题：简单过程能否表现出高度复杂性？组合学家 Gowers（Comb. Prob. Comp. '96）猜想，反复复合局部的随机可逆操作，所得全局置换与真随机置换不可区分；Hoory、Magen、Myers