Development of Vision-Language Model-based GNSS Spoofing Detection for Autonomous Vehicle Navigation
本文提出首个基于视觉-语言模型（VLM）的GNSS欺骗检测框架，用于保护自动驾驶车辆（AV）的导航安全。自动驾驶车辆依赖GNSS进行定位和导航，但容易遭受欺骗攻击，攻击者可隐蔽地重定向车辆或引发危险操作。该方法创新性地融合前置摄像头视觉数据
2026-07-29 归档
今日共收录 1422 条安全情报，包含 510 个 CVE，504 篇安全通告，以及 114 篇研究论文。
← 返回归档列表Strategies for quantum-enabled Bitcoin miners
该论文研究了两台专用量子计算机作为比特币矿工在竞争环境中对网络51%攻击阈值的影响。作者扩展了现有的比特币挖矿博弈论框架，将量子矿工视为非合作且激进的参与者，并允许他们在测量未产生有效区块时重新启动搜索。通过计算支付矩阵，确定了最优的量子挖
The Missing Layer: Specification Infrastructure for AI Oversight
这篇论文指出当前人工智能安全领域存在一个缺失层——规范基础设施。尽管可解释性、形式化方法、安全工程、评估方法和强化学习安全各自产生了大量工作，但这些成果并未整合成可部署的监督体系：每个部署智能体系统的团队都在重复构建自己的审计模式、策略方言
Bitcoin Mempool Linearization
本文研究了比特币矿工交易池（mempool）中的交易排序问题，即交易池线性化问题。在比特币系统中，交易不断到达矿工的交易池，并等待被包含在未来的区块中。每笔非币基交易必须花费之前交易创建的未花费输出，这就在交易池中形成了依赖关系。同时，矿工
Can PCE solve the factorisation problem via optimisation?
该论文探讨了如何将整数分解问题转化为二元优化问题，并尝试使用Pauli关联编码（PCE）算法进行求解。整数分解是RSA等公钥密码学的基础问题，在经典计算机上被认为是困难的，而量子计算提供了一种潜在的加速途径。然而，现有量子因子分解算法（如S
DualityCert: Verifier-Gated Language-Model Repair of Broken Duality Claims in Quantum Field Theory
该论文提出 DualityCert，一个专为四维 N=1 quiver 规范理论中 Seiberg 对偶性声明设计的符号验证器。验证器检查 't Hooft 异常匹配、超势 R-荷一致性、中心荷匹配以及一个有界的手征环代理。通过验证的声明获
Are You Still the Agent I Authorized? Earned Authority under a Fixed Ceiling for Evolving Agents
该论文研究了长期运行的AI代理在部署后通过保留经验、获取技能和工具、修改工作流、委托任务以及在任务阶段间移动等方式不断演化所带来的授权问题。随着代理演化，代理本身或执行授权的上下文可能不再匹配用户最初评估的对象，从而导致授权连续性缺失。现有
Collusion-Resistant Image-Agnostic Watermarking for Multi-Screen Shooting
屏幕拍摄（screen-shooting）对机密信息保护构成严重威胁。现有的屏幕拍摄水印方法虽然实现了版权验证，但不同屏幕上携带相同版权水印的图像往往表现出高度相似且可估计的水印模式。这些共享模式可被利用进行水印移除和伪造，作者将这种威胁称
ATLAS: Automated Approximation of Transformers for Efficient Homomorphic Inference in One Hour
全同态加密（FHE）为隐私推理提供了强加密保障，但在FHE下部署Transformer模型仍然代价高昂。关键瓶颈在于softmax、归一化和激活等非线性运算必须替换为与CKKS方案兼容的多项式近似，而近似消耗的乘法深度主导了推理成本。现有框
Renting the Cracking Machine with a Cost-and-Time Analysis of Exhaustive DES-56 Key Search in the Cloud
本论文针对数据加密标准（DES）中56位密钥的穷举搜索问题，在当代云基础设施上进行了成本与时间的可重复实验与测量。作者在亚马逊AWS EC2上构建了一个基于C/OpenMP的分布式暴力破解系统，使用37个c6i.2xlarge实例，将2^5
TroPUF: Evaluating Hardware Trojan Insertion in Delay-Based Physical Unclonable Functions
该论文研究了基于延迟的物理不可克隆函数（PUF）中的硬件木马插入问题。PUF 利用制造过程中的延迟变化实现设备认证和密钥生成，但其非确定性特性使得恶意逻辑难以被检测。作者提出了一个统一的仿真框架，用于评估多种延迟型 PUF 架构（如仲裁器
Early Detection of Hardware Trojans Using Neural Controlled Differential Equations and Analysis of Power Traces
本文针对传统硬件特洛伊木马检测方法难以发现休眠态木马的问题，提出一种基于神经控制微分方程（NCDE）和功率迹分析的早期检测与预测方法。该方法首先在无木马数据上训练NCDE模型，学习芯片的正常功耗行为模式；随后结合线性判别分析（LDA）分类器
On AI Safety and Security Technical Debt in Engineering AI-Enabled Systems
该论文针对人工智能（AI）系统中因复杂性、快速演化及动态数据管道所引入的新型工程负债——AI技术债务（AITD）进行了系统性综述。研究基于AI信任、风险与安全管理（AI TRiSM）原则，将技术债务重新解释为与可信性相关的维度，聚焦于AI安
Exploring the OODA Loop as a Systematic Way of Thinking in Coping with Conflicts
本论文重新审视了博伊德（Boyd）提出的OODA循环（观察-定向-决策-行动），并将其作为一种系统思维方式，用于处理动态、不确定、适应性和对抗性环境中的冲突。作者超越OODA循环在空战中的原始应用，聚焦于信息、理解、选择与行动之间的关系。论
SPARC: Automated Root-Cause Analysis of Pre-Silicon Power Side-Channel Leakage in the Processor Design Flow
论文提出 SPARC，一个自动化的预硅功耗侧信道泄漏（PSCL）评估与根因分析框架。PSCL 源自处理器架构和微架构的偶然因素，对密码软件的机密性构成严重威胁。现有方案受限于仿真可扩展性差，或无法将泄漏归因于正确的硬件信号和软件指令，阻碍了
Bayesian-Guided Cooperative RL Beamforming for Wireless Adversarial User Detection
本文针对下一代无线网络中的安全通信问题，提出了一种基于贝叶斯引导的协同强化学习波束成形框架，用于检测和防御对抗性用户。研究首先在3GPP系统模型下，基于无攻击场景构建基线，并采用穷举搜索作为参考以确定最佳波束成形配置。随后，在存在攻击者及不
How to Watermark the RLWE Homomorphic Ciphertexts
本文针对基于环错误学习问题的同态加密方案在实际应用中缺乏密文版权保护、源认证和计算监督等问题，提出了一种用于RLWE同态加密密文的水印技术。该技术利用RLWE多项式的代数结构，将微小噪声作为水印信息嵌入到密文多项式中，且不影响明文值。然而，
SMARM+: Analyzing and Enhancing Shuffled Measurements for Remote Attestation in Real-Time IoT Settings
远程证明（RA）是一种轻量级安全原语，用于检测物联网设备上的软件篡改。传统RA方案要求原子性、不可中断的内存测量，难以与实时任务共存。SMARM通过以秘密随机分块顺序测量内存来解决此问题，将不可中断期缩短为单个块测量的持续时间。然而，SMA
New perspectives for code locality in the rank metric
该论文研究秩度量（rank metric）下编码的局部恢复（locality）问题。局部恢复是指通过访问少量其他数据条目即可有效恢复部分丢失的编码数据，该性质在分布式存储等场景中至关重要。以往对局部性的研究主要基于汉明度量（Hamming
MOSAIC-FL, a micro-service based privacy-preserving framework with application to genomics
本文提出 MOSAIC-FL，一个基于微服务架构的隐私保护联邦学习框架，旨在解决医疗和基因组学等敏感领域中的安全与隐私挑战。框架采用模块化、灵活的设计，集成了高效的 gRPC 通信层和有限状态机（FSM）以确保组件同步和威胁检测。在安全聚合