Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM
本文针对可信执行环境（TEE）在信息流安全方面的不足，以及现有低层语言（如 LLVM IR）在使用 TEE 时面临的手动分区困难和高错误率问题，提出了一套基于类型系统的自动安全分区方案。作者首先形式化了 SIR，一种基于 LLVM IR 的
2026-09-04 归档
今日共收录 1362 条安全情报，包含 399 个 CVE，552 篇安全通告，以及 120 篇研究论文。
← 返回归档列表C$^2$T-OpenMax: A Novel Open-Set WiFi RF Fingerprinting Method via Center Constrained Learning and Confidence-Guided Tail Modeling
本文针对无线设备射频指纹识别（RFF）在开放集场景下跨环境部署时面临的挑战，提出了一种改进的OpenMax框架C$^2$T-OpenMax。射频指纹识别利用发射器特有的硬件缺陷实现设备身份认证，但实际部署要求模型具备跨环境的开放集识别能力，
ClaimReceipt: Verifying Evidence Sufficiency and Coverage in Agent Evaluations
本文针对智能体（agent）评估中存在的两类证据性问题展开研究：一是“充分性”，即报告中的主张（claim）能否从保留的证据中重新计算得出；二是“覆盖性”，即保留的记录是否完整覆盖了承诺的实验集合。作者指出，通用日志和哈希链式转录记录均无法
Privacy Amplification Without Independence: How Far Negative Dependence Carries the Guarantees of Poisson Subsampling
该论文研究差分隐私优化中结构化参与模式（如随机分配、按轮分配、随机签到）的隐私保证，并严格界定其与 Poisson 子采样之间的关系。Poisson 子采样因其独立性使隐私放大易于分析，是差分隐私优化的默认采样器，但实际系统倾向使用结构化参
Agent Flight Recorder: Tamper-Evident Audit Trails with On-Chain Anchoring for Long-Horizon Tool-Using Agents
该论文提出了一种名为“Agent Flight Recorder”的审计追踪系统，用于解决长程智能体在执行大量工具调用时产生的复杂故障追责问题。与传统软件系统中的孤立错误不同，长程智能体可能执行数千个操作，导致的是序列化故障，例如编码智能体
Modelstamp: Pre-Deserialization Verification of Machine-Learning Artifacts and Runtime Environment State
论文《Modelstamp: Pre-Deserialization Verification of Machine-Learning Artifacts and Runtime Environment State》由 Anagha Dhe
Hidden Services Protocol for Mixnets
该论文针对混合网络（mixnets）中接收方隐私缺失的问题，提出了首个实用且安全的隐藏服务协议。混合网络通过多个混合节点对数据包进行随机延迟和密码学变换，从而隐藏发送者与接收者之间的关联，但现有方案仅保护发送者匿名，接收者地址可能泄露给发送
Position: Privacy Is a Claim, Not a Property of Synthetic Data
该论文是一篇立场论文（position paper），针对机器学习研究中合成数据（synthetic data）在隐私敏感场景下的使用方式提出批判性反思。作者指出，合成数据虽已被广泛采用，但其隐私保障的语义已悄然发生变化：从一种在明确假设前
One Prompt Is Enough: Watermark Laundering Through Foundation Image Models
本文针对不可见数字水印在基础图像模型面前的安全性展开研究。现有水印评估通常只测试压缩、模糊、噪声、裁剪、去噪等预定义扰动，但作者发现公共基础图像模型提供了一种全新的攻击途径：攻击者仅需提交带有不可见水印的图像，并附上一条简单的重建提示，模型
MutMem-V2: Cryptographically Authorized Mutation in Persistent Agent Memory Portable Verification and Reproducible Evidence
本文是 MutMem 系列的第二版论文，聚焦于持久化智能体内存（persistent agent memory）中经密码学授权的变更（mutation）机制。第一版 MutMem V1 提出了保留性（retention-preserving
What's in Your Agent's Context? Context Privilege Escalation Attacks against AI Agent Harness
本文首次对真实世界的AI智能体助手（agent harness）中的上下文组装（context assembly）设计进行了系统性安全分析。现实中的高知名度AI智能体助手通常依赖厂商专有或不透明的设计来组装上下文，导致上下文的来源和底层逻辑
Verification of $K$- and Infinite-Step Strong/Weak Anonymity Using Concurrent Compositions
本文研究部分可观测离散事件系统（DES）中的匿名性验证问题，匿名性是一种信息流属性，通过观测无法唯一确定系统在特定时刻的状态来提供隐私保护。作者将系统建模为非确定性有限状态自动机，在现有K步匿名和无限步匿名概念基础上，提出了两类强匿名和两类
Smart Contracts Claimed Vulnerable by the CVE Database, with Labels and Source Locations
该论文介绍了一个名为 CVE-Smart-Contracts 的数据集，旨在为智能合约安全研究提供经过整理的 CVE 记录-工件对应数据。研究背景是 CVE 数据库收录了大量针对区块链程序（即智能合约）的漏洞声明，但原始记录与实际的合约代码
Johnny Still Receives Spam SMS: Assessing the Robustness of SMS Spam Detection
这篇论文评估了实际部署中的短信垃圾（SMS spam）检测系统在面对对抗性攻击和日益复杂的垃圾短信策略时的鲁棒性。作者考察了终端用户真实依赖的多类系统，包括商业消息应用、第三方反垃圾服务以及托管在 Hugging Face 上的公开开源权重
Griotte: Verified Compartmentalisation via Capabilities
本文针对 CHERIoT 这一软硬件协同设计中的安全保证缺乏形式化验证的问题，提出了理想化但忠实的机器模型 Griotte 及配套操作系统 Griotte OS。CHERIoT 利用硬件能力（capabilities）定义隔离的“隔间”（c
HEAT: Faster Fully Homomorphic Inference via Approximations-Weights Co-Adaptation
本文提出一种名为 HEAT（Homomorphic Encryption-Aware Training，同态加密感知训练）的微调方法，用于加速基于全同态加密（FHE）的语言模型推理。在现有方案中，服务器可以直接对加密的用户输入运行语言模型，
SVP Is NP-Hard for Some Rank-2 Cyclotomic Modules
该论文研究格密码中最短向量问题（SVP）的计算复杂度。此前已知在一般格上 SVP 是 NP 困难的，但在具有额外代数结构的理想格或模格上，其复杂度往往更难证明或可能降低。作者针对分圆域上的模格，证明了在 l2 范数下，秩为 2 的分圆模上
Identification of Compositional Risks in Data Protection Impact Assessments and Beyond
本文针对分布式数据处理场景中由于多个服务提供方组合而产生的隐私风险问题，提出了一种新颖的协议来检测和管理此类组合风险。传统的隐私影响评估（DPIA）通常只关注单个数据处理者，而忽略了多个处理者组合后可能产生的新的隐私风险。例如，不同数据处理
Distinctness threshold for pseudorandom unitaries
该论文研究量子信息与量子多体物理中两个关键概念的关系：统计伪随机性（以酉设计为代表）与计算伪随机性（以伪随机酉变换 PRU 为代表）。长期以来，构造 PRU 的常见路径是先引入一个统计随机化的酉 2-design 层，再叠加经典密码学原语，
Card-Based Computation in the Virtual Player Simulation Model
本文研究卡牌密码学中的一个新方向：虚拟玩家模拟模型。与传统卡牌安全计算不同，该模型要求在物理卡牌游戏中（如 Old Maid、UNO、President）模拟虚拟玩家的行为，并满足额外约束：卡牌代表持久化的游戏状态、虚拟玩家手牌中的剩余卡牌