MutMem-V2: Cryptographically Authorized Mutation in Persistent Agent Memory Portable Verification and Reproducible Evidence
本文介绍 MutMem-V2，一个面向持久化代理记忆（persistent agent memory）的密码学授权变异（cryptographically authorized mutation）协议。V1 版本虽然提出了保留记忆的变异机制
2026-09-05 归档
今日共收录 1726 条安全情报，包含 665 个 CVE，657 篇安全通告，以及 120 篇研究论文。
← 返回归档列表ClaimReceipt: Verifying Evidence Sufficiency and Coverage in Agent Evaluations
本文针对智能体（Agent）评估中的证据充分性与覆盖范围问题，提出了一套名为 ClaimReceipt 的声明相对收据规范与选择性验证器。研究背景是：在智能体评测中，存在两种不同的证据问题：一是已报告声明能否从保留证据中重新计算得出（充分性
Hearing the Whispers: Black-Box Membership Inference Attacks on Finetuned TTS Models
文本转语音（TTS）基础模型正越来越多地被用于在私有数据集上微调以合成高度个性化的声音，但这同时引入了严重的隐私风险，因为语音既包含生物特征身份又包含敏感语音内容。现有的黑盒成员推理攻击（MIA）通常采用查询生成和表示工程两阶段流程，但直接
One Prompt Is Enough: Watermark Laundering Through Foundation Image Models
该研究揭示了一种针对隐形水印的新型规避风险——水印清洗（watermark laundering）。传统上，隐形水印的鲁棒性测试仅针对压缩、模糊、噪声、裁剪、去噪等预定义扰动。然而，公开的基础图像模型（如 OpenAI 和 Google 的
A Non-Formulable Theorem: A Fundamental Limit of Finite Syntactic Systems and Its Consequences for Security and AI
这篇论文提出并证明了一个元定理：对于任何一个自洽且具有足够表达能力的有限句法系统 S，都存在至少一个 S 无法自主产生的定理。这里的“有限句法系统”涵盖范围极广，包括安全机制、AI 系统、形式化验证器、法律系统、经济模型，以及该定理自身所处
Barnacle: Adaptive Multi-Leader Scheduling for DAG-Based Consensus
在基于 DAG 的共识协议中，所有验证者都会并发提议区块，由指定的 leader 区块来驱动交易的最终提交。虽然每轮设置多个 leader 槽位可以降低排队延迟，但生产环境为规避队首阻塞问题通常只使用单一 leader：一旦某个 leade
Practice Makes (Im)Perfect: A Look Back at Benchmarking Practices for Microarchitectural Side-Channel Attacks
本文是一篇针对微架构侧信道攻击领域基准测试实践的系统性回顾与批判性研究。近年来，微架构侧信道研究发展迅速，但评估方法的严谨性却未同步提升。早期攻击论文常使用间接代理指标（如隐蔽信道带宽、对朴素AES/RSA实现的密钥恢复）作为评估手段，这些
NACRE: Rethinking Confidential Containers through Native Architectural Support
Linux 容器通过共享宿主内核实现高密度与快速生命周期操作，但这种设计也允许被攻陷的宿主检查或修改容器状态。现有机密计算系统通常保护飞地地址空间或整个客户操作系统，而近期容器粒度系统仍会引入独立的保护上下文。这些抽象并未将动态、由宿主管理
Beyond the Trust Boundary: A Critical Reassessment of the FIDO2 Threat Model
本文对FIDO2/WebAuthn威胁模型进行了批判性重估。FIDO2被广泛部署为抗钓鱼认证方案，依赖公钥密码学和硬件认证器，常被认为只要密码学实现正确即可保证安全。然而，作者指出在真实部署条件下，多个被广泛假设的安全属性并不成立。研究将威
Rent-a-RAG: Embedding-Space Watermarks for Auditing Third-Party RAG
本文针对第三方检索增强生成（RAG）市场中的新型审计问题展开研究。具体而言，数据提供方将语料库授权给RAG运营方后，往往无法获知其文档是否被未经补偿地重用。由于运营方不合作、生成器会对答案进行改写、且单次回答可能融合多个提供方的证据，审计此
The Native-Signature Boundary in Post-Quantum Distributed Authorization
该论文研究后量子签名迁移在多方分布式授权场景中引发的系统性问题。作者提出，原生阈值签名中签名算法会深度耦合密钥生成、份额状态、预处理、交互、组合、刷新与恢复等环节；而将阈值策略放在原生签名关系之外进行评估虽可降低耦合，但产生的授权证据无法被
Privacy, Robustness, and Fairness Trade-offs in Federated Intrusion Detection: Geometric Indistinguishability at the Aggregation Interface
本文研究联邦学习在网络入侵检测（NIDS）场景中，隐私保护、鲁棒性与公平性三者之间的内在权衡。联邦学习允许多方在不集中敏感流量数据的前提下协作训练入侵检测模型，但在实际部署中必须同时满足三个相互竞争的需求：形式化的差分隐私保证、对拜占庭式恶
Spruce: Scalable Private Outsourced Retrieval Using Compact Embeddings
本文提出 Spruce（Scalable Private Outsourced Retrieval Using Compact Embeddings），旨在解决检索增强生成（RAG）场景下大规模文档向量索引外包给不可信云服务器时的隐私与性能
Memetic Search for Supersingular Elliptic Curves over $\mathbb{F}_p$
该论文研究的是同源密码学（isogeny-based cryptography）中的一个基础计算问题：在素域 $\mathbb{F}_p$ 上搜索超奇异椭圆曲线。此前有工作将问题形式化为 $\mathbb{F}_{p^2}$ 上的元启发式优
Beyond Small Patches: Black-Box Detection and Purification of Diverse Backdoor Triggers
本文提出了一种面向部署场景的黑盒后门防御方法 TRIM（Trigger Removal by Identifying Manipulated Regions），旨在解决深度神经网络（DNN）在视觉系统中被后门攻击悄然篡改的问题。后门攻击通过
CRAW: Codec Robust Audio Watermarking
本文提出了一种名为 CRAW（Codec Robust Audio Watermarking）的音频水印框架，旨在解决生成式语音模型带来的虚假音频鉴别难题。近年来，生成语音模型使得合成音频与真实音频的区分愈发困难，可能被用于欺诈和虚假信息传
A Bayesian Correlated Equilibrium for Early Insider-Threat Detection
该论文将内部威胁检测建模为动态贝叶斯博弈：一个平台协调由多个战略认证者（certifiers）组成的委员会，在诚实用户之间维持均衡，并在数据外泄前检测恶意偏离行为。认证者与用户运行在一种称为贝叶斯时间相关均衡（BTCE）的机制下，其中密封信
Distinctness threshold for pseudorandom unitaries
本文研究量子信息与计算复杂性理论中伪随机性的核心问题，即统计伪随机性与计算伪随机性之间的关系。统计伪随机性通常由酉设计（unitary designs）描述，而计算伪随机性则由伪随机酉（PRUs）刻画。此前已知的PRU构造往往需要将酉2-设
Seeing Less Is Not Seeing Safely: Privacy Leakage from Task-Scoped Robot Perception Exports
该论文研究了家用机器人在本地感知数据不出设备的情况下，仍可能通过下游导出的结构化表示（如语义地图、几何特征、空间布局和任务目标）造成隐私泄露的问题。作者指出，现有隐私保护多关注原始传感器数据，但即使数据本地化，为规划器、云服务、日志或学习流
Overcoming the Randomness-Utility Trade-off in Answering Differentially Private Linear Queries
该论文研究在回答线性查询时如何同时满足差分隐私（Differential Privacy, DP）与低随机性消耗的问题。传统差分隐私机制通常依赖大量随机位来扰动查询结果，而实际部署中随机数的生成和管理可能成为性能瓶颈。作者针对 Hardt