Layer-Parallel Inference Reduces Encrypted Nonlinear Depth in Transformers
全同态加密（FHE）允许在加密数据上直接执行计算，为隐私保护的机器学习推理提供了可能。然而，实际部署加密Transformer推理时，由于Transformer模型中包含大量非线性层（如softmax、RMSNorm等），这些层需要多项式近
2026-07-07 归档
今日共收录 976 条安全情报，包含 239 个 CVE，384 篇安全通告，以及 83 篇研究论文。
← 返回归档列表Orcaella: Hybrid Fault Tolerance with Client-Selectable Finality Latency
该论文提出了一种名为 Orcaella 的混合容错共识协议，旨在解决部分同步网络中拜占庭和崩溃混合故障下的状态机复制问题。传统 PBFT 类协议需要至少 3f+1 个节点容忍 f 个拜占庭故障，且每轮决策需要三个通信步骤。近期如 Minim
HilEnT: Hilbert, Entropy Transformed Image Based Malware Detection
随着恶意软件威胁日益严峻，准确高效的检测与分类成为安全响应的关键。传统基于签名或静态特征的方法难以应对多态和变形恶意软件，而深度学习的兴起为基于图像处理的恶意软件检测开辟了新路径。本研究提出一种名为HilEnT的恶意软件二进制到图像变换技术
Governed Individuation: Cryptographically Decoupling an Agent's Learning from Its Authority
本文研究自主智能体在部署后持续学习带来的授权保障问题。当前基于对齐技术的智能体只能概率性地保证其行为不超出授权范围，但作者指出，当智能体在真实环境中自适应学习后，其运行系统是否仍受限于操作者授权是一个开放问题。为此，论文提出了一种名为“Go
AMRM-Pure: Semantic-Preserving Adversarial Purification
本文提出了一种名为 AMRM-Pure 的对抗性纯化防御框架，旨在通过保留图像块之间的语义关系来去除对抗性扰动。现有方法通常依赖扩散模型等强大生成器，并侧重于在特征空间缩小对抗样本与干净样本的差距，但忽略了单个样本内部的语义相关性。作者从理
Agentic SABRE: An Uncertainty-Aware Neuro-Symbolic Multi-Agent Framework for Adaptive Ransomware Detection
该论文提出了一种名为 Agentic SABRE 的新型自适应勒索软件检测框架，旨在解决传统静态签名和单一分类器在面对概念漂移、逃避攻击和行为多态性时的泛化能力不足问题。SABRE 采用神经符号多智能体架构，融合了基于语义的表征证据和基于时
Ball Differential Privacy: How to Mitigate Data Reconstruction with Less Noise
该论文针对机器学习模型发布中数据重建攻击与差分隐私（DP）之间的噪声权衡问题，提出了一种新的隐私定义——球差分隐私（Ball-DP）。传统DP为保证任意单条记录替换的不可区分性，注入的噪声量往往过大，导致模型实用性严重下降，而实际攻击者通常
Efficient and Secure Range Counting over Distributed Geographic Data with Query Range Protection
本文针对分布式地理数据上的范围计数（Range Counting）这一核心原语，提出了一种同时满足隐私性、高效性和准确性的协议PPRC。现有隐私保护协议要么只注重保护组织的数据集，但在查询隐私、重叠数据准确性方面存在缺陷。典型协议以明文处理
Piercing Gilbreath's Conjecture: From Deep Number Theory Insights to Fintech and Cybersecurity
本文针对吉尔布雷思猜想（Gilbreath's Conjecture）提出了一种全新的攻破方法。该猜想自1878年提出以来，尽管表述极其简单（儿童都能理解），但经过近一个半世纪的研究几乎未取得实质性进展。论文的核心创新在于引入“筛法”与“反
Data Structures for Private Token Transfers in TEE-Based Networks
本文关注基于可信执行环境（TEE）的机密智能合约网络中的隐私问题。尽管TEE可以加密数据，但在代币转账过程中，合约更新接收者余额时访问的存储键会泄露发送者和接收者之间的关联关系，即存储访问模式攻击。为解决此问题，论文提出了两种新颖的数据结构
Occluding the Solution Space: Planner-Agnostic Adversarial Attacks on Tolerance-Aware Manipulation
本文提出一种针对机器人操作中运动规划器的对抗攻击框架，旨在评估和量化系统的内在鲁棒性。现有攻击方法通常受限于严格的精确位姿目标和对规划器在线查询的依赖。为克服这些局限，作者提出了一种规划器无关的攻击方法，适用于容忍感知操作（即允许目标区域内
ThreatVisionAI: A Hybrid CNN-ViT Framework for Image-Based Malware Classification
传统的恶意软件检测方法在面对混淆或未知威胁时泛化能力不足。本文提出 ThreatVisionAI，一种混合恶意软件家族分类框架，它集成了原始图像 CNN、基于小波的 CNN 和 Vision Transformer (ViT)，以捕获恶意软
Rotation-Optimal Noncommutative Prefix Scans in Bit-Reversed Homomorphic Layouts
该论文研究在打包同态加密中高效计算有序前缀扫描（prefix scan）的问题。传统方法需要大量循环旋转操作（rotations）来实现非局部通信，其开销取决于物理槽位布局。论文针对存储在比特逆序（bit-reversed）排列中的 n=2
How to Avoid Debate: Scalable AI Safety via Doubly-Efficient Interactive Proofs
该论文针对AI安全验证问题，提出了一种避免辩论（debate）的替代方案。传统辩论方法依赖两个能力对等的AI模型相互辩论以说服人类验证者，但这一假设在实践中可能不成立（如模型能力不均或双方均不诚实）。论文首次研究了面向AI安全场景的“单证明
Securing Multi-Tool AI Agent Chains With Dynamic, Real-Time Compositional Policies
现代AI代理（如前沿编码代理）在运行时会将多个工具串联起来，形成一条工具链。这种链式调用产生了单工具护栏无法解决的安全问题：即使每个工具单独使用时都是安全的，但组合起来可能违反组织的安全策略。针对这一挑战，本文提出了动态安全控制组合器（DS
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean
该论文提出了一种名为 LeanDY 的形式化验证框架，面向密码协议的安全性分析。现有工具要么全自动但表达能力有限，要么交互式证明灵活但自动化不足。LeanDY 通过结合基于类型推理（type-based reasoning）与基于轨迹推理（
Scalable Differentially Private Data Compression via Diffusion and Stochastic Codes
本文针对高维数据（如图像）在差分隐私保护下的高效压缩问题展开研究。现有方法要么直接发布未压缩的隐私化数据，导致存储开销巨大；要么缺少能在隐私保证下有效压缩高分辨率数据的方案。为此，作者提出了DP-DiPP（Differentially Pr
Derivative-Free Richelot Isogenies via Subresultants with Algebraic Certification
该论文针对超椭圆曲线（genus-2）上经典的 Richelot (2,2)-同源步提出了一种完全无导数的重表述。传统的 Richelot 步骤通过曲线 f=uvw 的因式分解，利用 Wronskian 导数构造目标三元组 (U,V,W)。
Security Analysis for SCONE Logic Locking
本文针对SCONE逻辑锁定方案（发表于DAC'25）进行了全面的安全分析。SCONE通过从原始主输入派生的额外编码输入扩展逻辑锁定接口，包含两种变体：1）with-ES变体：关键编码阶段以硬件实现；2）without-ES变体：锁定设计直接
Builder, Defender, Breaker: The Case Against Removing the Human from the AI-Driven Security Lifecycle
该论文聚焦于人工智能在安全生命周期中日益增强的自动化趋势，指出当前同一类生成式AI模型被用于编写代码、强化代码以及探测代码漏洞，使得构建者、防御者和攻击者三个角色逐渐融合。作者认为，这种将完全自动化视为目标的主流观点存在根本性缺陷。当构建、