ProvICS: A Provenance-based Intrusion Detection for Industrial Control Systems
本文针对信息技术（IT）与运营技术（OT）融合导致工业控制系统（ICS）面临跨软件、网络和物理过程的多阶段网络攻击问题，提出了一种基于溯源的入侵检测数据集 ProvICS。现有基于溯源的入侵检测系统（PIDS）在IT环境中效果显著，但由于缺
2026-07-09 归档
今日共收录 1410 条安全情报，包含 455 个 CVE，561 篇安全通告，以及 105 篇研究论文。
← 返回归档列表From Regression to Prior-Aware Inference: Solving the ILWE Family in Randomness Leakage Attacks against ML-DSA
本文系统研究了针对 NIST 标准化格基签名方案 ML-DSA 的随机性泄露攻击中的求解器问题。ML-DSA 的安全性依赖于签名随机性和拒绝抽样来保证签名与密钥统计独立，但实际实现可能泄露部分随机性信息，导致公开签名转化为 ILWE（Inh
LibFHE: A Numba-Based CUDA-Python Library for Non-RNS CKKS-BGV Fully Homomorphic Encryption on GPUs
本文提出名为LibFHE的高性能GPU加速全同态加密（FHE）框架，采用CUDA-Python绑定，结合Numba即时编译技术，在保证高级可编程性的同时实现接近裸金属的GPU性能。作者指出，自CKKS方案提出十年来，尚无第五代FHE继任者，
PRoVeFL: Private Robust and Verifiable Aggregation in Federated Learning
联邦学习（FL）允许多个客户端在保持数据本地性的同时协作训练机器学习模型，从而增强用户隐私。然而，传统FL框架依赖于中心化聚合服务器，并假设客户端是诚实但好奇的，这使其容易受到服务器端推理和客户端投毒攻击。尽管近期工作探索了安全且拜占庭鲁棒
Reproducible Validation of Voucher-Based L2 Interoperability: Diagnosing an ERC-4337 Compatibility Issue in an EIL SDK Implementation
本文针对以太坊Layer-2（L2）生态系统中跨rollup互操作性的实际问题展开研究。背景是L2虽提升了可扩展性，却导致用户、流动性、Gas费用和执行状态在不同rollup之间碎片化。文章聚焦于以太坊互操作层（EIL）提出的基于凭证（vo
Auditing of Unlearning Algorithms
该论文针对机器学习模型遗忘算法的有效性评估问题，提出了一种实用的审计方法。遗忘算法旨在从训练好的模型中移除特定训练数据的影响，但如何验证其是否真正实现了遗忘仍是一个开放挑战。作者设计了一个审计器，利用成员推断攻击（Membership In
Security and Privacy in Agentic AI: Grand Challenges and Future Directions
本论文基于一项地平线扫描（horizon-scanning）活动，汇集了来自学术界、工业界和政府的三位国际顶尖专家，通过聚焦讨论和协作练习，系统性地识别了代理型人工智能（Agentic AI）在安全与隐私方面的重大挑战和未来研究方向。代理型
MSCENet: A Multi-Scale Correlation Enhanced Network for Anomaly Detection
针对多变量时间序列异常检测中数据复杂度增加、跨时间尺度依赖复杂的问题，传统方法难以同时捕获时间动态特征与序列间复杂相关性。为此，本文提出MSCENet框架，通过先进的时空学习与多尺度学习技术提升检测精度。该框架包含三个核心模块：细粒度时间卷
Withdrawability in Fiat-Shamir with aborts constructions
本文扩展了 Liu、Baek 和 Susilo 提出的可撤销签名（withdrawable signatures）概念，将其推广到 Fiat-Shamir with aborts 范式。作者首先给出了一个抽象的构造方案，并提供了完整的安全证
Unicode TAG-Block Concealment of Tool-Metadata Payloads in the Model Context Protocol: An Approval-View Fidelity Gap Across Three Independent Server Implementations
本研究揭示了模型上下文协议（MCP）中的一个安全漏洞：工具元数据在客户端审批视图与注入模型上下文的字节之间可能存在不一致。作者将这种差距定义为“隐藏编码”机制，并聚焦于Unicode TAG块（U+E0000至U+E007F），该块在所有主
Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
本文研究AI安全控制中的可信监控（trusted monitoring）防线。可信监控依赖一个更便宜的“可信模型”对“不可信模型”的行为进行评分，以检测潜在的破坏性行为（如后门攻击）。传统评估仅针对一个或两个不可信模型报告准确率，但本文质疑
Complets: Universal Compartmentalisation and Programming Model For Arm Permission Overlay Extension 2
Arm Permission Overlay Extension (POE) 是一种基于内存保护键的进程内隔离机制，最初版本 POE1 允许将虚拟内存分区为不同区域，并通过重新配置访问权限实现软件故障隔离，但缺乏特权分离。POE2 是 PO
Statistical Adversaries: Natural Backdoor-like Features in Vision Datasets
该论文研究了一种新型的视觉模型脆弱性：数据集本身存在的自然统计信号，可以在没有恶意注入的情况下充当类似后门触发器的角色。作者将这种信号称为“统计对手”（statistical adversaries）。与传统的模型特定对抗攻击不同，这些信号
Privacy-Preserving Robustness Verification for Neural Networks
该论文提出SecureCROWN，首个用于隐私保护神经网络鲁棒性验证的框架。神经网络验证与数据隐私存在固有矛盾：验证需要完全访问模型参数和输入数据，但这受到隐私法规和知识产权限制。SecureCROWN基于安全两方计算（2PC），使模型所有
When Claws Remember but Do Not Tell: Stealthy Memory Injection in Persistent Personal Agents
本文研究了一种针对持久化个人代理（persistent personal agents）的新型安全威胁——隐蔽内存注入（stealthy memory injection）。持久化个人代理结合了长期记忆与用户外部环境访问能力，可提供个性化前
Algebraic Modelings of the Supersingular Isogeny Problem
该论文提出了一种新的代数建模方法，用于解决超奇异同源问题（Supersingular Isogeny Problem）。该问题在后量子密码学中至关重要，特别是对于基于同源的密码方案（如SIKE）的安全性基础。传统的代数建模通常使用模多项式，
From Multiplicity to Vulnerability: Privacy Amplification Risk from One-Dataset-Multiple-Model Exposure
本文首次系统地研究了“单数据集多模型”（ODMM）范式下的隐私放大风险。在ODMM中，同一个数据集（如人脸或医疗图像）被重复用于训练多个模型，每个模型独立部署为API服务以完成不同任务（如人脸识别、年龄估计、种族分类）。现有隐私研究工作多关
Security Analysis of RIS-Assisted Physical-Layer Authentication Over Multipath Channels
该论文研究了可重构智能表面（RIS）辅助的物理层认证安全问题。在物理层认证中，认证者（Bob）通过接收信号的信道特性验证用户身份。本文假设Bob通过一个由他控制的RIS接收信号，合法发送者（Alice）配备单天线，而攻击者（Trudy）拥有
Algorithmically Presented Numbers and Canonical Representations in Cryptographic Protocols
本文从表示论的角度研究密码协议中的数字表示问题。传统观点认为，只要协议中的数值是计算上可访问的即可，但本文指出，在实际协议操作中，数值的固定表示形式同样关键。论文区分了三种表示论概念：算法可逼近数（A_app，即可计算实数）、系统中有限准确
Noise-limited secret key agreement with twin optical physically unclonable functions
该论文研究了基于关联光物理不可克隆函数（PUF）的噪声受限秘密密钥协商协议。光PUF利用相干光在无序光学结构中散射产生的随机但可复现的散斑图案作为硬件指纹。论文考虑一对关联的光学PUF，分析在制造工艺变异和环境影响（噪声）条件下，两个诚实方