Authorization Revocation for Long-Running AI Agents: Root-Scoped Quiescence under Delegation and Asynchronous Execution
该论文研究长时运行的 AI 智能体（long-running AI agents）在授权撤销方面的根本性缺陷。这类智能体往往比发起它的进程存活更久，其存活载体包括长期凭据、委托出去的子任务、消息队列、回调、资源预留以及服务提供方侧的操作记录
2026-09-21 归档
今日共收录 815 条安全情报，包含 111 个 CVE，394 篇安全通告，以及 53 篇研究论文。
← 返回归档列表Mind the Gap: How SBOM Specification Ambiguities Lead to Divergent Software Bills of Materials. An Empirical Tool Study
欧盟《网络弹性法案》(CRA) 规定自 2027 年 12 月起软件物料清单 (SBOM) 将成为强制合规要求。此前多项研究已发现不同 SBOM 生成工具对同一项目产出的清单存在显著差异,但差异的根因一直不明:究竟源于工具实现错误,还是有意
The Supersingular Isogeny Problem in Time and Memory $p^{1/3+o(1)}$, Unconditionally
本文研究超奇异椭圆曲线的 OneEnd 问题：给定 E/F_{p^2}，求 E 的一个非标量自同态。既有归约表明，若该问题可解，则超奇异自同态环问题与同源问题也可解，因此它位于基于同源密码学的核心困难性假设附近。此前，Wesolowski
Identifying Security Platform Product Abuse with Machine Learning
本文关注 SaaS 行业中日益增长但单次事件发生频率极低的『产品滥用』(product abuse) 问题。作者指出，高水平威胁行为者有两类滥用形态：一是在客户环境内部滥用厂商提供的安全平台能力（即把安全产品本身当作攻击工具），二是针对安全
X-SPUR: Explainable Surprisal-Based Protocol-Aware Unsupervised Reasoning for Automotive Ethernet Intrusion Detection
该论文面向现代车载网络中的汽车以太网（Automotive Ethernet）入侵检测问题，指出现有车载网络中同时承载多种协议（异构多协议流量），而带标注的攻击样本极其稀缺，因此无监督异常检测成为主要技术路线；但即便是当时最强的无监督检测器
Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies
该论文研究 AI 生成 RTL 验证计划在硬件安全场景下的可信度问题。作者指出:大模型生成的验证计划即使通过了服务商(provider)的响应 schema 校验,也可能在进入可信执行环节时失败,即「schema 合规」不等于「执行有效」。
Provisional Reachability: Containing Agents by Making Every Crossing Revocable
本文研究如何为防御者设定可量化的信息泄露速率上限，以限制智能体在多轮交互中逐步拼接敏感信息。前作指出需阻断的量有单位——每周期比特数，本文设定该速率。核心机制为“临时可达性”：把每次跨边界访问暂存一个周期，对暂存项以概率 r 独立审计，任一
ASGARD: Action-Space Guard for UAV Resilience via Reinforcement Learning
该论文关注基于强化学习（RL）的无人机（UAV）导航与控制器的运行时安全问题。近年来，RL 控制器因其在复杂机动与自主导航中的表现被广泛用于无人机控制，但这类策略存在一个关键且常被忽视的攻击面：动作空间攻击。攻击者并不篡改策略的观测输入，而
TPM-Attest: Hardware-Rooted Integrity Attestation as a Kernel-Level Anti-Cheat Alternative for Linux
该论文针对 Linux 平台多人联机游戏的一个结构性矛盾展开研究：游戏发行商普遍要求的反作弊系统以闭源 Ring 0 内核模块形式实现，而这类模块在架构上与 Linux 的安全模型、GPL 许可证的传染性要求以及内核对稳定 ABI 的承诺根
Weather Data Spoofing Attacks on Rain-Adaptive Millimeter-Wave Frequency Selection in V2X Communication Networks
该论文研究车联网 V2X 毫米波通信中按降雨感知选择载波频段所带来的安全风险。背景是，联网车辆使用毫米波侧链路满足协同驾驶所需的数据速率，而新兴设计会根据感知到的降雨量从多个候选频段中选择载波。论文指出，这种天气感知本身构成攻击面：攻击者只
Empirical Analysis of Randomness Quality in Differential Privacy Mechanisms
该论文针对差分隐私（Differential Privacy, DP）实现中一个长期被理论讨论但缺乏实证的问题展开研究：DP 的隐私保证建立在「噪声源足够随机」这一前提之上，但现实中随机数发生器（RNG）的熵退化究竟会对 DP 机制产生多大
A Scalable Trust Discovery Architecture for the Internet of Agents
本文关注「智能体互联网」(Internet of Agents) 场景下的大规模智能体互信与发现难题。作者指出, 现有智能体协议(如各类工具调用与智能体间通信协议)主要解决的是「怎么调用工具」「怎么发消息」, 而对于智能体如何大规模注册、如
Competition, Collusion, and Corruption: The Spectrum of MEV Attacks on DAG-Based BFT Consensus Protocols
本文研究 DAG 结构拜占庭容错（BFT）共识协议中的最大可提取价值（MEV）攻击。传统 BFT 协议仅保证安全性与活性，并不约束交易排序：提议者或副本可以让实际打包顺序偏离客户端提交顺序，从而牟利，即 MEV。DAG 型 BFT 中每个副
Delphi Scanner: efficient and interpretable static malware detection via API sequence modeling
该论文提出名为 Delphi Scanner 的 Windows PE 文件静态恶意软件检测系统，核心目标是同时兼顾三方面诉求：检测有效性、计算效率与分析可解释性。作者指出，传统静态检测常在三者之间取舍——基于特征签名的方法高效但难以泛化，
SFPF: Spatio-Frequency Polarization Fingerprint for Anomalous Wireless Device Detection
本文针对已部署无线设备的硬件完整性核验问题展开研究。定期巡检之所以必要，是因为未授权的硬件替换往往保留原有通信功能、凭证与逻辑身份，使设备在协议层面看起来完全正常，异常设备因此极难被发现。传统做法是在受控测量条件下采集射频指纹（RFF），比
Critical sets of Latin squares based on autoparatopisms
本文研究基于拉丁方临界集（critical sets）的秘密共享方案设计问题。在密码学中，拉丁方的临界集常被用于构造秘密共享方案：每个参与者持有临界集中的一个条目，所有条目齐全才能恢复秘密。然而，这类协议存在一个关键缺陷：若某个持有者缺席，
(Don't) Trust, but (Don't) Verify: Developers' Attention to Security in AI-Generated Code
该论文聚焦生成式 AI 编码助手在软件开发中带来的一个被忽视的环节：开发者对 AI 生成代码的“评估行为”，而非最终产出的代码本身。研究背景是：AI 编码助手（自动补全、对话式工具、AI Agent）正迅速改变开发流程，且已被证实会生成不安
Multi-center Medical Data Mining with FL-Net - A One-stop Shop for Federated Learning
该论文聚焦于联邦学习在临床多中心研究中的落地难题。作者指出，联邦学习虽然能在不共享患者级原始数据的前提下实现多方协同建模，但绝大多数研究仍停留在仿真阶段，难以真正部署到跨医院的真实临床研究中。为厘清差距，作者先从文献中归纳出五项核心需求（涵
On the Leakage of Massey Secret Sharing Schemes under Linear Computations
该论文研究 Massey 秘密共享方案在多秘密场景下经由线性精确修复方案 (LERS) 引发的泄露问题。背景是：在编码理论中，线性精确修复方案允许从少量其他符号信息中恢复某个码字符号，前提是码率足够低；此前有工作将其解释为：攻击者可从分片的
Hopper: Bounded-Memory Collaborative Debiasing for Byzantine-Tolerant Peer Sampling
该论文研究拜占庭容错对等采样（Byzantine-tolerant peer sampling）中的频率偏差问题。这类协议依赖持续刷新的节点视图（view），而视图由标识符流（identifier stream）构造，攻击者可以通过操控该流