Can PCE solve the factorisation problem via optimisation?
该论文探讨了将Pauli Correlation Encoding (PCE)算法应用于整数分解问题的可能性。整数分解在密码学（如RSA）中具有关键作用，但经典计算机难以高效求解。量子计算为分解问题提供了理论上的指数加速，例如Shor算法，
2026-07-28 归档
今日共收录 1224 条安全情报，包含 453 个 CVE，382 篇安全通告，以及 98 篇研究论文。
← 返回归档列表SMARM+: Analyzing and Enhancing Shuffled Measurements for Remote Attestation in Real-Time IoT Settings
远程证明（RA）是一种轻量级安全原语，用于检测物联网设备上的软件篡改。传统RA方案要求原子性、不可中断的内存测量，难以与实时工作负载共存。SMARM通过以秘密、打乱的块顺序测量内存来解决此问题，将不可中断期缩短为单个块测量的持续时间。然而，
Are You Still the Agent I Authorized? Earned Authority under a Fixed Ceiling for Evolving Agents
本文聚焦于长期运行的人工智能智能体（AI agent）在部署后持续演化所引发的授权连续性（authorization continuity）问题。传统安全假设智能体的能力、权限和上下文在授权后保持不变，但实际中智能体可能因经验积累、技能获取
Collusion-Resistant Image-Agnostic Watermarking for Multi-Screen Shooting
本文针对屏幕拍摄对机密信息保护构成的威胁，提出了一种抗合谋的、与图像内容无关的屏幕拍摄水印框架 CoMSMark。现有屏幕拍摄水印方法在不同屏幕上嵌入相同版权水印，导致水印模式高度相似且可估计，从而被攻击者利用进行水印移除和伪造，称为多屏幕
ATLAS: Automated Approximation of Transformers for Efficient Homomorphic Inference in One Hour
本文提出ATLAS框架，旨在解决全同态加密（FHE）下Transformer模型推理效率低下的问题。FHE提供强加密保证，但非线性操作（如softmax、归一化、激活函数）需要替换为兼容CKKS方案的多项式近似，这些近似的乘法深度成为推理成
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）和功耗轨迹分析的硬件木马早期检测与预测方法。针对现代硬件木马通过隐蔽、自适应行为规避传统检测的问题，现有方法即使利用机器学习也仅在木马激活后才能检测，存在安全漏洞窗口。该方法仅使用无木马数据训练
Exploring the OODA Loop as a Systematic Way of Thinking in Coping with Conflicts
本论文探讨了在动态、不确定、充满适应性和对抗性干扰的环境中，如何系统性地思考和处理冲突。作者重新审视了博伊德的OODA（观察-定向-决策-行动）循环，并将其作为一种系统性的思维方式，用于推理冲突。OODA循环最初源于空战理论，强调信息、理解
SPARC: Automated Root-Cause Analysis of Pre-Silicon Power Side-Channel Leakage in the Processor Design Flow
该论文提出 SPARC，一个用于预硅片阶段功耗侧信道泄漏（PSCL）评估与根因分析的自动化框架。PSCL 源自处理器架构和微架构层次的工件，严重威胁密码软件机密性。现有评估框架要么因仿真可扩展性差而受限，要么无法将泄漏归因到正确的硬件信号和
Practical Post-Quantum Cryptography for Bandwidth Constrained or Non-Terrestrial Networks, and Power Constrained Devices
本文针对后量子（PQ）密码算法在带宽受限或非地面网络（NTN）以及功耗受限设备中应用时的性能瓶颈问题展开研究。经典后量子认证算法（如ML-DSA）需要更大的证书、签名和密钥，导致带宽、内存、计算时间和能耗显著增加，这一问题在NTN（卫星网络
A Modular Cyber Range Platform for Smart Energy Systems
本文介绍了一种面向智能能源系统的模块化网络靶场平台，旨在弥合数字漏洞与物理后果之间的鸿沟。该平台采用轻量级模块化设计，基于FastAPI后端框架和QEMU/KVM虚拟化技术，能够高保真地模拟IT和OT环境。其核心是YAML引擎，可在标准硬件
SAGE: Safety-First Defense-in-Depth Guardrails for Verified Lifecycle Control of High-Impact Generative AI
SAGE 是一篇关于高影响力生成式 AI 安全治理的研究论文。作者指出，当前对 AI 滥用的防护多集中在 prompt 过滤层面，但真正的风险来自全生命周期控制缺失。为此，SAGE 提出了一种安全优先、授权分离的架构，在考虑效用、延迟或商业
What Can Be Enforced? A Theory of Certified Runtime Safety for Tool-Using Agents
该论文研究使用工具（tool-using）的智能体在运行时安全领域的可执行性（enforceability）理论。现有运行时防护栏（runtime guardrails）在不可逆的工具调用前进行干预，但它们的保证取决于可表示的策略状态、裁判
Correlation-Aware and Gaussianity-Preserving Robust Latent Angular Watermarking for Diffusion Models
本文提出了一种用于扩散模型的鲁棒潜域水印方法，名为潜角水印（Latent Angular Watermarking, LAW）。针对现有潜域水印方法在保持潜变量高斯性方面存在缺陷，容易受到水印检测或移除攻击，以及水印嵌入后导致潜变量相关性退
Kalyna Block Cipher: From Design Space Exploration to ASIC Design
Kalyna 分组密码是乌克兰的国家密码标准，通过2007年至2010年间的全国竞赛选出，并于2015年批准。尽管已有软件实现，但缺乏高效的硬件加速器。本文针对 Kalyna 的加密、解密及统一加密/解密功能，探索了多种设计架构，权衡了面积
Transforming Keystroke Noise to Text: Self-Supervised Acoustic Eavesdropping Attacks on Keyboards
该论文提出了一种自监督的声学窃听攻击方法，能够仅从键盘敲击声重建出用户输入的文本内容，而无需针对目标设备收集标注数据。传统声学侧信道攻击通常需要大量的标注数据或特定的设备校准，这限制了其实际威胁性。本文方法通过结合无监督声学聚类、基于Tra
BioZKFHE: Scalable Encrypted Biometric Identification via Verifiable Homomorphic Similarity Evaluation
本文提出 BioZKFHE，一个用于可扩展加密生物特征识别的框架，它结合了 BGV 型全同态加密与委员会中介的证明开/解密及智能合约验证。研究背景是在外包场景下进行大规模生物特征识别，需要同时保证生物模板和查询数据在计算过程中的机密性，以及
Agent Security Needs Redefinition through a Holistic Framework
本文对当前基于内容（action content）定义代理安全的范式提出了尖锐批评。作者指出，仅凭指令或动作的字面内容来判断是否恶意，在本质上是一种系统性错误，因为相同的内容在不同上下文中可能具有完全不同的含义。例如，“删除用户数据”这一命
Occluded Oculus: Operationalizing Stylistic Obscurement
本文探讨了如何通过文体隐藏技术来对抗基于文体学的作者身份识别系统。研究从希腊神话中赫尔墨斯击败百眼巨人阿耳戈斯的故事引入，类比攻击者（挑战者）需要精巧的策略来战胜强大的监控系统。作者提出了名为 TraceTarnish 的框架，该框架包含四
Exponentially Fewer-Server PIR from Sparser $S$-Decoding Polynomials
本文研究私密信息检索（PIR）协议的通信复杂度问题。PIR 允许用户在不向服务器泄露查询内容的情况下，从分布式数据库中检索一条记录。经典结果要求服务器数量与通信量之间存在权衡。本文在数论猜想（广义重单位猜想或 Schinzel 假设 H）成