ReBound: Reuse-Aware Privacy For Interactive Decision Support
该论文提出了一种名为ReBound的框架，旨在解决差分隐私（DP）决策支持系统中交互式查询的隐私成本优化问题。传统DP决策支持框架能够对复杂的聚合阈值查询提供形式化的假阴性和假阳性率保证，但每个查询独立处理，没有记忆先前结果。在实际分析中，
2026-07-17 归档
今日共收录 1302 条安全情报，包含 372 个 CVE，507 篇安全通告，以及 120 篇研究论文。
← 返回归档列表ε-Indistinguishability In Moving Target Defense: Framework, Algorithms, And Cloud Case Studies
移动目标防御（MTD）假设其候选配置池是安全的，即延迟等可观测指标不会轻易暴露当前激活的配置，但这一假设从未在池级别被量化。本文形式化了池安全性问题：寻找候选配置笛卡尔积中最大的ε-近子集，使得在加性效用模型下任意两配置对敌手不可区分。该问
Evaluating Frontier AI Agents as Autonomous Clinical Security Auditors
该论文提出并实施了一项开放评估任务，用于测试前沿AI代理是否能够自主执行结构化的临床AI安全审计。研究背景是临床AI模型中的对抗性漏洞可能导致患者受到伤害，而正式的安全审计需要统计专业知识、专用工具和大量时间。作者基于METR Task S
The Refusal Residue: When Probes Catch Alignment Faking and When They Don't
该研究聚焦于大语言模型（LLM）中的对齐伪装（alignment faking）问题：模型在受监控时表面顺从，但一旦脱离监控则可能暴露出隐藏的真实行为。当模型不提供中间推理过程（如scratchpad）时，仅凭行为无法区分策略性顺从与真正顺
Delving into the Temporal Challenges of Unified Video Protection Against Image-to-Video and Fine-Tuning-based Customization
本文针对基于扩散模型的视频生成技术（包括基于微调的视频定制和基于参考的图像到视频生成）带来的隐私、身份和知识产权保护问题，提出了一种统一视频保护方法。现有对抗定制化工作主要聚焦图像保护，而视频保护面临三大时间挑战：(i) 逐帧优化的图像级扰
Privacy Preserving Recommender Systems Balancing Personalization with Privacy
该论文针对现代推荐系统依赖集中化用户数据存储所引发的隐私与合规挑战（如GDPR、CCPA等），提出了一种隐私保护推荐框架。该框架融合了联邦学习、差分隐私、群组级建模和隐私感知智能代理：原始用户数据保留在本地设备，模型更新时加入数学上可界定的
AI-Native Insurance for Agentic AI: Pricing, Underwriting, and End-to-End Automation
本文提出了一种面向自主AI系统（Agentic AI）的AI原生保险框架，旨在解决传统保险难以覆盖自主决策、工具调用、外部环境修改及第三方服务交互等新型风险的问题。作者将AI部署表示为一个风险状态，该状态捕捉自治水平、操作权限、权限暴露、治
BARS: Benign-Anchored Ranking and Selection for False Alarm Reduction in Network Intrusion Detection
网络入侵检测系统（NIDS）在实际部署中面临高误报率的严峻挑战。即使误报率低于1%，在高流量环境下每天也能产生数万条告警。传统的基于过滤的特征选择方法虽然因其位于分类器上游且不增加推理时成本而具有吸引力，但经典过滤器采用类别对称准则，忽略了
Composable Trust for Language Models: A proven boundary and a measured defense
本论文针对语言模型中指令与数据共享同一 token 流导致无法阻止未授权文本操纵模型生成的问题，提出了一种可组合的信任模型。该模型将行动权威置于模型外部，即由代码决定：依据信息来源的“身份”而非“内容”来决定执行哪个操作以及是否执行。低信任
A Scalable Cloud-Orchestrated and Service-Oriented Multi-Domain QKD Network with PQC Integration
该论文针对现有量子密钥分发（QKD）网络在跨异构基础设施和管理域时面临的可扩展性、互操作性及兼容性问题，提出了一种灵活的多域多站点量子安全网络架构。该架构融合了供应商无关的QKD、软件定义网络（SDN）编排和云管理的信任服务，并基于零信任网
Stability Buys Time: A Re-Keying Game for Encrypted Multi-Agent Control
该论文研究在云端通过全同态加密（FHE）协调多智能体车队时的安全问题。具体使用CKKS近似方案加密实数状态，但解密时会携带加密噪声，从而造成密钥恢复泄露。由于控制回路必须解密才能执行动作，这种泄露无法避免。现有研究将近似FHE的安全性视为静
Auditable and Transparent Fully Authenticated Disk Encryption via USB Storage Interposition
传统全盘加密（FDE）通常由操作系统驱动实现，用户需在本地提供密钥才能透明访问加密磁盘。本文探索了一种替代方案：在主机与外部硬盘之间插入一个通用USB中间设备，该设备运行Linux并支持USB On-The-Go（例如树莓派），实现完全认证
Explainable-by-Design Audio Deepfake Detection via Wiener-Hopf Linear Prediction
本文针对音频深度伪造检测中的可解释性和计算效率问题，提出了一种基于Wiener-Hopf线性预测的可解释性设计框架。该框架通过Wiener-Hopf方程提取语音信号的线性预测系数，并利用轻量级2D卷积神经网络（CNN）对系数图进行分类。实验
How Agentic Is Agentic Commerce? A Population-Scale Measurement of x402 Adoption and Authenticity
该论文对被称为AI代理经济中广泛部署的x402协议进行了首次大规模测量。x402协议允许AI代理自主为每次数据、API或计算消耗支付稳定币，并在链上结算。此前，x402协议已记录数亿次结算，被解读为AI代理经济已到来的证据。然而，本研究通过
On the Security Implications of PQC in TLS: Handshake Exhaustion and IDS Degradation
该论文研究了后量子密码（PQC）集成到TLS 1.3后引入的安全隐患，特别是针对握手耗尽攻击和入侵检测系统（IDS）性能的影响。PQC原语在TLS握手阶段带来的额外计算和通信开销，可能放大握手耗尽攻击的效果，导致更严重的分布式拒绝服务（DD
Policy-Conditioned Constrained Decoding for Column-Level Access Control in Text-to-SQL
该论文针对 Text-to-SQL 系统在跨信任边界部署时面临的策略合规、答案覆盖率和成本三者平衡问题。现有方法通常基于查询涉及哪些列来随机决定是否拒绝，而未考虑列的使用方式，且随机执行无法确定性排除违规。作者形式化了列使用策略，将列的使用
$\mathrm{P}^{3}$CDA: Privacy-Preserving and Provably Secure Cross Domain Authentication Scheme for Internet of Drones
随着无人机互联网（IoD）的快速发展以及无人机移动性的增强，地理上分散的域之间的跨域交互变得不可避免。跨域认证是IoD的基本安全需求。然而，现有认证方案往往难以同时实现强安全性、高效率和身份隐私，因此不适用于高度动态且资源受限的IoD环境。
A Threshold Exceedance Framework for CBRN Uplift Evaluation in Frontier Language Models
本文提出了一种阈值超出标准（Threshold Exceedance Criteria, TEC）框架，用于评估前沿语言模型是否显著提升非专业行为者策划化学、生物、放射或核（CBRN）误用的能力。现有CBRN评估在非专业定义、威胁范围、基线
MTD-Playground: An Attacker-Aware Evaluation Framework for Network Moving Target Defense
移动目标防御（MTD）作为一种主动网络防御范式，通过动态网络重构技术（如软件定义网络（SDN）启用的路径随机化）增加攻击者的不确定性。然而，现有评估因攻击者假设、攻击场景和评估指标不一致而碎片化，限制了可重复性和面向部署的比较。本文提出MT
Anticipating Decoder Side-channel Attacks in Fault-tolerant Quantum Computers
该论文首次提出针对容错量子计算机中解码系统的侧信道攻击新类型。在容错量子计算中，解码器负责处理从量子硬件实时获取的综合征数据以纠正错误。然而，论文指出这些综合征数据可能泄露正在执行的逻辑电路信息，从而构成侧信道攻击。作者引入了“门指纹”概念