👥 作者: Yusen Han, Xuelian Li, Juntao Gao, Bo Song
该论文研究带结构噪声的奇偶性学习问题(LPSN)如何通过量子计算获得优势。LPSN 可归约为求解非线性布尔系统,在量子计算中通常被转化为 Macaulay 线性系统,并用量子线性系统算法求解,但该过程的效率严重受制于矩阵的条件数。作者提出一种新的 Macaulay 线性系统约简方法:在 Ding 等人的假设下,推导了一个包含缩放因子的条件数下界。该约简不仅保证了量子态制备的高效性,还相对于约简后的右侧向量展现出条件数区间上的独特优势,从而降低条件数的下界,最终优化了求解布尔系统的量子算法时间复杂度上界。将改进后的量子算法应用于 LPSN,利用 Macaulay 系统的解结构显著降低了样本复杂度。作者进一步给出了逻辑级量子资源估计,证明优化的条件数可直接转化为电路宽度、深度和门数的减少。最后,他们通过系统比较量子与经典方法在噪声模式适应性、样本复杂度和时间复杂度上的表现,提出了一种算法选择策略。结果表明,在特定参数区间内,所提出的量子算法有潜力超越经典算法。
💡 推荐理由: 该工作为 LPSN 问题提供了可证明的量子加速路径,通过优化条件数直接降低量子资源开销,对后量子密码分析及量子机器学习中的线性系统求解具有参考价值。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Rourab Paul, Paresh Baidya, Krishnendu Guha, Amlan Chakrabarti
格基后量子密码(PQC)与全同态加密(FHE)中的多项式乘法是资源、时间和能量最关键的运算之一。Barrett 模乘(BMM)因其硬件友好的特性和高效的模归约能力,在 PQC(如 Kyber、Dilithium)和 FHE(如 BGV、BFV、CKKS)的硬件加速器中被广泛采用。然而,侧信道攻击(SCA)和硬件木马可能故意引入故障,而芯片老化及其他物理因素也会造成无意的故障。这些故障如果针对 BMM 单元——PQC 和 FHE 基础设施中最关键的组件之一——可能导致信息泄露,进而危及系统安全。针对这一威胁,本文提出了一种统计归约监控(Statistical Reduction Monitoring, SRM)方法,用于保护 BMM 单元。该方法通过监控模归约过程的统计特性,并利用多条条件归约路径来区分正常运算与异常状态,从而在极低的硬件开销下高效检测随机故障和突发故障。作者通过理论分析和实验验证了该方案的有效性,表明其能够在不显著影响性能的前提下显著提升 BMM 单元对恶意故障注入和自然故障的鲁棒性。该研究为 PQC 和 FHE 硬件加速器提供了一种轻量级、可集成的故障检测方案,对保障未来密码学基础设施的物理安全性具有重要意义。
💡 推荐理由: PQC 和 FHE 是未来数据安全的核心基础,其硬件实现的可靠性直接关系到整个系统的安全性。该研究提供了一种轻量级故障检测方法,可帮助防御者理解并缓解针对 BMM 单元的硬件故障威胁,建议重点关注。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: José Luis Delgado
该论文针对 NIST 额外签名流程第三轮候选方案 MQOM v2.1 提出了一个完整的密钥恢复攻击。攻击者只需获得一个合法签名,即可恢复完整的签名密钥,并利用该密钥对任意新消息生成有效签名,从而破坏方案的安全性。核心攻击思路是利用 Merkle 树路径与隐藏叶承诺之间的关系:设见证(witness)x 的前缀 δ = FirstBits_λ(x),通过兄弟路径可确定公开值 A,使得树奇偶校验给出 s = δ ⊕ A。将此代入隐藏叶承诺,可得到加密方程 Enc_K(δ ⊕ A) = T ⊕ LinOrtho(δ),其中 K 和 T 均为公开值。签名中的修正项(correction)将方程的一个解扩展为完整见证,而公开的 MQ(多变量二次)关系可筛选出能产生有效签名密钥的见证;序列化该见证即得私钥,进而生成被参考验证器接受的新签名。论文在指定的 AES/Rijndael 电路上评估该方程,并利用保留电路状态沿 Gray 遍历(Gray traversal)提高计算效率。对于 NIST 安全类别 I 和 V,完整域扫描分别需要 2^142.335112 和 2^271.794162 个布尔门;类别 III 的扫描覆盖 1/2+2^-20 和 0.580004770183 的域,开销分别为 2^206.774558 和 2^206.988685 个布尔门,均低于 NIST 安全基准。针对参考实现的缩减域实验在全部三个类别中恢复了逐字节精确的见证和密钥,并产生了被参考验证器接受的新消息伪造签名。独立生成的源码级语法电路在指定域和转换后的 L3 前缀上评估固定密码,精确的理想密码阶乘矩界控制传递给公钥验证的额外方程原像。由于方程中每个值都由已接受的签名固定,盐绑定的全局根扩展只会改变其公开常数,无法消除这一单签名恢复通道。该研究对后量子密码标准化具有重要意义,建议相关安全团队关注。
💡 推荐理由: 该攻击直接从单个签名恢复完整私钥并伪造新签名,彻底打破 MQOM v2.1 的安全性,影响 NIST 后量子签名标准化进程,需重新评估候选方案的实际安全边际。
🎯 建议动作: 研究跟进并评估相关方案的风险,同时关注 NIST 后续回应和修复措施。
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.6)
👥 作者: Konstantinos Loizou, Essam Ghadafi
该论文针对英国互联网各行业部门的后量子密码(PQC)部署现状进行了大规模测量研究。研究背景是:随着量子计算威胁日益临近,PQC被视为保障互联网基础设施长期信任的关键组件,而可观测的PQC支持通常被用作评估组织迁移进展的指标。作者指出,这种外部可观测的部署情况未必能全面反映组织的整体后量子迁移成熟度,因此将可观测部署作为组织准备度的代理指标需要谨慎。研究覆盖了英国10个行业部门的4665个组织,通过测量HTTPS和SMTP STARTTLS端点的后量子密钥交换支持情况,并尽可能将可达端点归属到其底层基础设施提供商,最终从协议、行业和提供商三个维度进行统计分析。结果显示:在可达端点中,44.0%的HTTPS服务支持至少一种被评估的PQC密钥交换组,而SMTP服务仅为6.4%。对于两种协议均可达的组织,HTTPS对PQC的支持显著高于SMTP(匹配比值比为16.89)。尽管行业之间存在差异,但基础设施提供商的属性比组织所在行业更具预测性,且可观测部署高度集中于少数几家提供商。仅有144个组织在Web和电子邮件基础设施上同时支持PQC,凸显了迁移的不均衡和碎片化。此外,在所有被测量端点中均未观察到后量子证书签名。这些发现表明,当前可观测的PQC部署主要由基础设施提供商的部署决策驱动,不应将其视为组织迁移准备度的完整衡量标准。该研究为政策制定者、安全研究人员和基础设施运营商提供了关于PQC实际落地情况的实证参考,有助于理解迁移进展的真实驱动因素。
💡 推荐理由: 对蓝队而言,PQC迁移是长期合规与安全规划的关键议题。该研究揭示了基础设施提供商在PQC部署中的主导作用,帮助安全团队识别自身供应链风险,避免将外部可观测性等同于内部准备度,从而更务实规划迁移路径。
🎯 建议动作: 研究跟进
排序因子: 影响边界/网络设备 (+5) | 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Malik Imran, Ayesha Khalid, Ciara Rafferty, Safiullah Khan, Muhammad Rashid, Maire O'Neill
该论文针对后量子密码(PQC)中迭代数论变换(NTT)加速器的可扩展性问题,提出了一种内存并行化策略和优化架构PIP-NTT。现有NTT加速器通常采用乒乓存储方案和与分圆环大小匹配的大容量存储器,导致效率受限。作者提出将n大小的存储器拆分为四个n/4大小的独立存储器,在保持总存储面积不变的前提下实现内存并行化,从而提升数据吞吐量。同时,为逆NTT设计了无乘法重缩放架构,避免了传统重缩放中的乘法操作,降低硬件开销。在此基础上,论文对统一的Cooley-Tukey和Gentleman-Sande蝶形单元进行了全面的硬件设计空间探索,评估了粗粒度和细粒度流水线策略,并最终优化出一个高效的蝶形单元。PIP-NTT加速器集成了两个这样的优化蝶形单元和内存并行化方案,在严格的面积约束下大幅提升计算吞吐量。在FPGA平台上的实验结果表明,与现有最面积优化和高速NTT加速器相比,PIP-NTT在平均面积-时间乘积上分别实现了2.67倍和1.48倍的效率提升。该设计可扩展至不同基数的蝶形单元,并能适配其他PQC方案,为未来加密硬件的通用化提供了可行方案。
💡 推荐理由: PQC标准化在即,NTT是格基密码的核心操作,硬件加速效率直接影响实际部署性能。PIP-NTT在面积约束下显著提升吞吐量,对资源受限设备和云服务器的PQC迁移均具有重要参考价值。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Jarosław A. Miszczak
本文探讨了量子机器学习(特别是量子生成对抗网络QGAN)在评估后量子密码(PQC)协议安全性方面的潜力。随着量子计算机的发展,传统密码学面临威胁,因此后量子密码标准正在推进。然而,当前量子计算机虽规模有限,但仍可能被用于寻找PQC协议的弱点。作者提出利用QGAN架构将哈希基数字签名的概率分布加载到量子计算机内存中,从而辅助分析协议的安全性。实验结果表明,近期的混合量子-经典方法具备此能力,可作为利用量子计算攻击后量子密码原语的第一步。该研究为量子辅助密码分析提供了新思路,但尚未实现实际攻击。
💡 推荐理由: 为后量子密码的安全性评估提供了量子机器学习的新视角,可能影响未来密码标准制定。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.4)
👥 作者: Abel C. H. Chen
本文针对量子计算技术进步对传统公钥密码体制(尤其是椭圆曲线密码ECC)构成的威胁,以及隐私敏感场景(如车联网通信)对匿名证书的需求,提出了一种基于多变量密码学的匿名证书方案。当前,NIST已规划后量子密码(PQC)迁移时间表,建议在2030年前逐步淘汰某些ECC算法,而现有匿名证书方案仍主要依赖ECC,缺乏量子安全性。为此,作者设计了一种利用多变量公钥密码系统(MPKC)的匿名证书方案,该方案通过引入多变量二次方程组(MQ问题)的困难性来保证抗量子攻击能力。方案包含证书颁发机构(CA)、车辆等实体的交互协议,实现了证书的匿名性、可追踪性和不可链接性。文中给出了严格的数学证明,包括正确性、安全性(如不可伪造性、匿名性)的形式化分析,并辅以计算实例演示。实验部分通过数值计算展示了方案的计算开销和证书大小,表明该方案在典型参数下可满足实际应用需求。主要贡献包括:首次将多变量密码学应用于匿名证书设计,提供了量子安全的理论基础,并通过实例验证了可行性。适合对后量子密码、匿名认证、车联网安全感兴趣的研究者阅读。
💡 推荐理由: 该方案直接回应了量子计算对现有匿名证书体制的威胁,为隐私敏感应用(如车联网)提供了抗量子匿名认证的可行路径。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Konstantinos Krilakis, Antonia Tsili, Aikaterini Mandilara, Dimitris Syvridis
该论文提出了一种可扩展、云端编排的多域量子密钥分发(QKD)网络架构,旨在解决现有QKD网络因供应商特定接口、可信节点约束和有限互操作性而难以跨异构基础设施和管理域扩展的问题。该架构集成了与供应商无关的QKD、软件定义网络(SDN)编排和云管理信任服务,并基于零信任网络访问协议,采用多级身份验证机制,该机制建立在后量子密码(PQC)签名和密钥封装算法之上。系统在真实测试床上部署,包含来自3个供应商的QKD节点的域以及没有QKD基础设施的域。实验结果表明,即使在受限设备上,PQC和SDN开销也相对较低,主要瓶颈在于QKD密钥检索和供应商特定的密钥流限制。该框架将量子安全密钥传输扩展到原生QKD边界之外,同时保持了灵活性、互操作性和与现有基础设施的兼容性。
💡 推荐理由: 为构建实用、可互操作的多域量子安全网络提供了可行的架构设计,对推动QKD实际部署和PQC集成具有参考价值。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Tiziana Liberati, Nitin Shukla, Simone Rizzo, Elisabetta Boella, Matteo Barbieri, Gabriella Bettonte, Daniele Gregori, Marco Pedicini
本文针对后量子密码(PQC)迁移中基于Learning With Errors(LWE)的密钥封装机制(KEM)计算开销大的问题,提出一种可移植的GPU加速方案。作者利用OpenMP Target offloading技术,在单一源码基础上实现了对NVIDIA和AMD两种GPU架构的支持,避免了传统CUDA优化导致的厂商锁定。该实现包含大型矩阵运算和密码学安全随机数生成等核心计算环节。实验在多种GPU平台(如NVIDIA GH200、AMD MI300X等)上进行了性能、可扩展性及能耗的全面评估,并与多核CPU基线对比。结果显示,OpenMP Target offloading可实现显著加速,其中内存带宽和CPU-GPU交互对性能影响超过峰值计算能力。该工作表明,便携式GPU加速能有效降低PQC计算开销,促进量子安全密码基础设施的部署。
💡 推荐理由: 后量子密码迁移是安全基础设施的关键,本文展示了一种避免厂商锁定的GPU加速方法,有助于降低LWE类KEM的部署门槛,对安全工程师评估PQC性能可行性具有参考价值。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Ruturaj Khamitkar, Durga Pritam Suggisetti, Soujanya Chatti, Varsha Sambhaje, Durga Dasari
本文提出了一种将小规模Module Learning With Errors (MLWE)问题编码为二次无约束二进制优化(QUBO)模型的系统性框架,旨在利用量子退火硬件求解。核心创新在于将秘密系数和显式误差变量统一编码到二进制优化结构中,从而通过基态解同时恢复两者。作者进一步分析了QUBO优化景观在加性扰动下的稳定性,证明可容许噪声区域构成一个由候选秘密竞争定义的凸多面体,并建立了与最优和第二优解之间能隙的等价关系。在低维基准实例上的精确仿真实验表明,秘密和离散化误差向量均能正确恢复,且几何稳定性区域与能隙行为一致。此外,本文量化了随MLWE维度增长所需的逻辑变量和嵌入开销,评估了在量子退火架构上的可行性。尽管当前量子退火硬件尚无法处理密码学相关参数,该方法为在量子优化环境中研究格基问题提供了结构化基础,但不构成对标准化后量子密码方案的实际威胁。
💡 推荐理由: 该研究探索了MLWE问题的量子优化求解,虽然目前不具实践威胁,但有助于安全社区前瞻性评估量子计算对格密码的潜在影响。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Sanzida Hoque, Abdullah Aydeger
本文针对5G网络向抗量子安全过渡的需求,在分解式5G架构下,对嵌入式用户设备(UE)上的后量子密码(PQC)集成到TLS握手过程进行了能量感知的系统级评估。作者使用树莓派5模拟嵌入式处理平台,结合直接设备功耗测量,评估了NIST标准化的经典/后量子签名与密钥封装机制(KEM)组合在TLS握手过程中的性能。实验结果表明:延迟与能耗高度耦合,执行时间是能耗的主要决定因素;哈希签名方案(如SPHINCS+)的延迟和能耗分别是格基方案(如CRYSTALS-Dilithium)的4倍和2倍,而KEM的影响相对较小。进一步分析发现,系统整体性能主要受密码计算和并发竞争限制,而非网络传输。研究结论为5G移动环境下PQC的部署提供了实用指导,指出格基签名在安全性、效率和可扩展性之间取得了更优的平衡。
该工作适合5G安全架构师、密码实现工程师以及关注后量子密码在实际系统中能耗表现的科研人员阅读。
💡 推荐理由: 后量子密码在资源受限的物联网设备上的能耗和性能是5G安全落地的关键瓶颈,本文首次提供了基于实际硬件测量的系统性参考数据,有助于指导算法选型和系统优化。
🎯 建议动作: 研究跟进
排序因子: 影响边界/网络设备 (+5) | 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: George Alexakis, Dimitrios Schoinianakis, Giorgos Dimitrakopoulos
后量子密码学(PQC)和隐私保护技术将在未来安全通信系统中发挥核心作用。基于格的PQC方案(如ML-KEM和ML-DSA)严重依赖大度数多项式运算,数论变换(NTT)成为关键计算原语。现有硬件加速器虽利用并行和流水线支持NTT及逆变换(INTT),但其效率常受限于模约简和修正步骤的开销、逆变换缩放操作以及次优的FPGA实现。本文提出基于优化统一蝶形单元的并行迭代NTT/INTT加速器,通过引入冗余数表示消除Montgomery模乘和组合减法-乘法操作的条件修正,并将逆变换缩放集成到现有算术硬件中,避免专用缩放单元。此外,设计了层级式Montgomery乘法器,高效映射到FPGA DSP资源,降低硬件成本同时实现高工作频率。基于FPGA的实验结果表明,所提设计实现了更高时钟频率、更短执行时间和有竞争力的资源利用率,为PQC及相关隐私保护应用提供高效NTT加速。
💡 推荐理由: 本文为PQC硬件加速提供了创新设计,通过冗余算术和微架构优化显著提升NTT/INTT效率,对安全从业者评估和部署PQC硬件方案有参考价值。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Tristram Bogart, Marcelo Fiori, Pedro Raigorodsky, Mauricio Velasco
本文研究最优小集扩张器(optimal small-set expanders)及其在编码理论中的应用。小集扩张器是一种左正则二分图,其左顶点集的任何大小不超过t的子集X至少有α|X|个邻居。如果小集具有尽可能多的邻居,则该图为最优小集扩张器。作者首先从组合角度通过围长(girth)刻画了最优扩张器,并证明了对于任意s,存在s-最优扩张器。进而证明s-最优性能够导出关于大小h≥s的集合邻居数的新“传递”下界。最后,作为应用,讨论了如何利用最优小集扩张器构建用于后量子密码学中密钥交换协议的优秀编码。该工作为设计高效、安全的密码学基元提供了新的理论工具,尤其适用于需要抵抗量子计算攻击的场景。适合对图论、编码理论及后量子密码学感兴趣的数学家和密码学研究人员阅读。
💡 推荐理由: 为后量子密码学中的密钥交换协议提供新的编码构造方法,通过最优小集扩张器提升安全性和效率。
🎯 建议动作: 研究跟进
排序因子: 影响边界/网络设备 (+5) | 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Shuxian Jiang
该论文提出了一种名为CIM-BDD的混合有界距离解码(Bounded-Distance-Decoding)求解器,用于破解基于学习带误差(LWE)问题的后量子密码(PQC)系统。核心创新在于将LWE问题通过一种严格的免惩罚(penalty-free)映射转换为二次无约束二元优化(QUBO)问题:首先通过代数消去秘密向量,将LWE嵌入到一个q-ary格中,从而吸收模运算并重新表述为最近向量问题(CVP);然后将平方误差范数直接用作QUBO能量,使得密码学噪声成为需要最小化的目标而非惩罚约束。为了在当前的噪声中等规模量子(NISQ)设备上实现该模型,论文设计了一种特殊的编码方法:连续松弛的Babai最近平面投影(CR-BNP)驱动自适应混合进制编码器,大幅减少了量子比特数量以及QUBO系数范围,从而仅需一次批量硬件提交即可完成。此外,还推导了一个统计有界早停阈值(T_early),该阈值可充当单边证书并兼作决策LWE区分器。研究团队在达姆施塔特工业大学LWE挑战数据集上验证了框架,在相干伊辛机(Coherent Ising Machine)CPQC-550上对40维实例进行了搜索LWE和决策LWE的端到端演示。这项工作为量子-经典混合密码分析建立了新的算法-硬件协同设计范式,揭示了NISQ设备对PQC潜在的实际威胁。
💡 推荐理由: 本文提出了一种新颖的量子-经典混合密码分析方法,首次将相干伊辛机用于LWE攻击,可能威胁基于LWE的后量子密码方案的现实安全性,值得PQC研究者和安全从业者密切关注。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.6)
👥 作者: R. D. N. Shakya, C. P. Wijesiriwardana, S. M. Vidanagamachchi, Nalin A. G. Arachchilage
随着后量子密码学(PQC)的过渡,实现复杂性显著增加,要求严格遵守恒定时间执行、侧信道抗性和精确参数化。同时,大型语言模型(LLM)已深度嵌入软件开发流程,包括密码工程。尽管LLM提高了生产力,但有证据表明它们经常生成不安全或次优的代码,特别是在安全关键领域。本文引入PQC中的安全编码漂移,这是一种新颖的社会技术漏洞模型,捕捉由于持续依赖LLM生成代码而导致的安全编码实践逐渐退化。与先前关注静态漏洞的工作不同,我们将安全风险概念化为一种源于人-AI交互的纵向行为现象。为了缓解这一问题,我们提出一个游戏化的、LLM增强的安全编码框架,将对抗性评估、行为反馈和安全评分嵌入开发流程。我们的方法将LLM从被动助手转变为主动安全副驾驶,有助于在AI中介环境中实现更安全的PQC实现。
💡 推荐理由: 揭示了LLM在密码学开发中导致安全编码退化的新风险,并提出了游戏化干预方案,对安全工程和AI辅助开发实践有重要指导意义。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | 命中热门研究主题 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: R. D. N. Shakya, C. P. Wijesiriwardana, S. M. Vidanagamachchi, Nalin A. G. Arachchilage
该论文是一篇关于后量子密码学(PQC)在软件系统中实现的系统化知识(SoK)研究。随着量子计算威胁的临近,将现有密码学算法迁移至抗量子算法已成为保护软件系统的关键任务。尽管标准化算法(如CRYSTALS-Kyber、Dilithium等)已发布,但开发者和组织在将其集成到实际软件系统中仍面临重大挑战。现有研究多聚焦于密码学性能和算法安全性,缺乏对影响PQC成功实现的更广泛社会-技术因素的理解。本文从人(Human)、组织(Organisation)、技术(Technology)三个维度系统梳理了PQC实现的方法与挑战。通过综合现有文献,研究发现当前知识体系存在显著不平衡:技术解决方案占据主导地位,而人力和组织层面的考虑(如开发者培训、组织流程调整、成本效益分析等)被严重忽视。进一步分析表明,这些挑战并非孤立存在于单一维度,而是跨HOT维度的相互关联的社会-技术约束,共同影响实现效果。为此,作者提出了PQC-HOT模型,这是一个概念框架,用于解释HOT维度之间的交互如何共同影响PQC实现。该模型将SoK中识别的实现干预措施和挑战整合为一个结构化的框架,支持系统化的决策、规划和组织转型策略。基于这些洞察,论文还指出了未来研究方向,包括如何设计可扩展、可持续的PQC实现方案。本文适合安全架构师、开发团队、风险管理者和政策制定者阅读,帮助他们从全局视角理解PQC迁移的复杂性。
💡 推荐理由: 该研究表明PQC迁移不仅仅是技术替换,更是涉及人员培训、组织流程和协同的系统工程,帮助安全团队避免仅关注算法性能而忽视落地障碍。
🎯 建议动作: 研究跟进
排序因子: 影响边界/网络设备 (+5) | 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Vu Minh Chau, Nguyen Ngoc Kiet, Pham Quang Minh, Mai Xuan Ngoc, Nguyen Duc Anh, Hoang Ta
本文研究了在集成NPU(神经网络处理单元)的设备上实现和优化HQC(Hamming Quasi-Cyclic)解码算法。HQC是一种基于编码的后量子密码学密钥封装机制,已被NIST选为标准化候选算法之一。解码过程主要由Reed-Muller和Reed-Solomon两部分组成,计算开销巨大。作者针对Qualcomm Hexagon处理器(具有Hexagon Vector eXtensions HVX向量扩展)进行了优化,而非使用张量推理引擎。他们观察到HQC解码天然具有向量化计算特征,包括Reed-Muller可靠性向量、Hadamard变换系数、Reed-Solomon综合向量、有限域乘积和打包的支持点求值等。基于此,作者重新设计了核心解码内核,使其适应HVX友好的数据布局和执行模式,具体包括:向量化的Reed-Muller Hadamard变换、标量等效的峰值选择、面向HVX的有限域算术、向量化的综合计算以及缩短支持定位子根求值。作者通过Hexagon模拟器和骁龙8 Gen2硬件开发套件上的真实设备实验评估了优化后的解码器。结果表明,Hexagon/HVX辅助解码显著降低了延迟和能耗,能效提升高达18.13倍,同时大量减轻了主机CPU的负担。这些结果证明,当底层内核被重构以围绕向量执行时,集成NPU的移动平台可以有效支持结构化后量子密码解码。
💡 推荐理由: 后量子密码标准化在即,HQC作为候选算法要求高效实现。本文展示了移动设备NPU(特别是Hexagon HVX)可以大幅加速HQC解码,为移动端和嵌入式设备部署后量子密码提供了实用优化路径。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Ahmad Tashfeen, Qi Cheng
该论文针对后量子密码学中核心的最近向量问题(SVP),提出了一种基于领域知识指导的进化筛选方法。传统密码学依赖的整数分解和离散对数问题在量子计算机面前脆弱,而SVP是量子安全密码学的基石。作者将Ajtai等人提出的筛法视为遗传算法(GA),并通过引入领域信息的SVP表示和交叉操作对其进行增强,同时将应用自然扩展到模块格。具体地,他们设计了一种更贴合格结构的编码方式,使得遗传算法中的个体能更好地反映问题特性;并通过领域知识引导的交叉算子,加速高质量解的搜索。实验表明,该方法在多个标准格实例上显著提升了求解效率,改进了Laarhoven之前的遗传算法框架。该研究属于后量子密码分析领域的理论方法创新,为评估格基密码的安全性提供了更高效的算法工具。
💡 推荐理由: 该研究改进了后量子密码学核心难题SVP的求解算法,有助于评估格基密码体制的真实安全强度,为密码学家和安全工程师提供更精准的参数选择依据。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Davide De Zuane, Marco Baldi, Paolo Santini, Grégoire Anchelergues, Daniele Romano, Alessandro Cammarano, Juan José Grosso
该论文研究卫星通信中的密钥交换问题。卫星环境具有资源受限(如计算能力、内存、带宽)和高传输延迟等独特挑战,传统的互联网密钥交换(IKE)协议无法直接适用。论文首先分析了将IKE协议应用于卫星场景需要解决的两大核心问题:一是协议效率,即如何适应卫星终端的资源限制和带宽需求;二是量子安全性,即如何抵御具备量子计算能力的攻击者,避免被“先存储后解密”攻击。为此,作者从设计和实验两个角度出发,定义并评估了若干低复杂度且抗量子攻击的协议变体。这些变体基于后量子密码学原语(如基于格的密码、基于编码的密码等),并对原IKE协议的消息交换流程进行了精简优化,以减少往返次数和载荷大小。此外,论文还考虑了从经典密码原语向后量子密码原语的过渡问题,提出并分析了一种混合加密方案,同时使用经典和量子安全原语,以兼容现有基础设施并提供渐进式迁移路径。实验部分通过模拟卫星链路环境,对比了不同变体的握手时间、带宽消耗和计算开销,验证了所提方法在保持安全性的前提下显著降低了资源需求。该研究为设计实用、高效且抗量子的卫星通信密钥交换协议提供了参考。
💡 推荐理由: 随着卫星互联网和量子计算的发展,卫星通信必须同时解决资源受限和长期抗量子安全问题。该研究为实际部署提供低复杂度、抗量子的IKE协议变体,对保护未来卫星网络基础设施具有前瞻性意义。
🎯 建议动作: 研究跟进
排序因子: 影响边界/网络设备 (+5) | 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Ming-Xing Luo
本文提出了一种针对基于2-power cyclotomic环的模块格密码系统的概率多项式时间量子攻击。攻击的核心创新在于利用扩域链Q⊂Q(ζ_8)⊂⋯⊂Q(ζ_{2^k})对主理想问题(PIP)进行塔式分解,将高维格上的困难问题转化为低维子域上的可解问题。对于ML-KEM-1024,作者验证了逼近因子γ≤21<q/2=1665,成功概率≥0.99。该量子算法需要O(n^3 log^2 n)个量子门、O(n^2 log n)个量子比特和多项式时间的经典计算。攻击同样适用于Falcon、Hawk、NTRU-HPS和NTRU-HRSS的所有标准化参数集。这一结果意味着,如果攻击被证实正确,那么当前NIST选定的后量子密码标准中基于2-power cyclotomic环的多个方案将不再安全。论文是作者系列工作的第四部分,提供了完整的理论分析和算法复杂度证明。
💡 推荐理由: 该攻击直接威胁ML-KEM、Falcon、NTRU等NIST后量子密码标准,若成立将迫使密码学界紧急重新评估标准化方案,并寻求替代的格基密码实现。
🎯 建议动作: 密码学界应紧急验证该攻击的正确性,评估其对现有标准的影响,并开始研究替代的后量子密码方案。
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.6)
👥 作者: Animesh Shaw
2024年8月,美国国家标准与技术研究院(NIST)正式发布了后量子密码学标准FIPS 203(ML-KEM)、FIPS 204(ML-DSA)和FIPS 205(SLH-DSA),从而填补了算法层面的空白。然而,生产环境中的实际部署仍存在显著差距,包括混合组合器(hybrid combiners)、版本化密钥格式、协议辅助工具以及迁移工具链的缺失。为了解决这一问题,本文提出了quantum-safe,一个采用混合默认(hybrid-by-default)设计的Python密码学库。作者首先对现有的九个后量子密码库进行了八个生产就绪维度的系统性评估,发现其中三个维度(混合KEM支持11%、迁移工具22%、协议集成33%)的覆盖率低于35%。quantum-safe在所有八个维度上均获得满分。该库提供的API将混合KEM任务从手工编写45行组合器代码简化为仅需3行,从而显著降低了不安全实现的风险。本文还报告了首次针对Python混合后量子密码库的统计严格单次操作开销测量(3000次迭代、CPU固定、自举95%置信区间)。实验表明,完整的X25519 + ML-KEM-768握手在Docker/Linux环境下耗时243微秒,仅占典型TLS 1.3往返预算的0.5%–2.5%。在5000并发用户下,吞吐量保持2848 ops/s,退化率仅为4.9%,证实了liboqs在C级别操作期间释放了Python全局解释器锁。此外,作者创新性地引入了变异系数(Coefficient of Variation, CoV)作为所有FIPS 203/204操作的时序侧信道代理指标。ML-KEM-768的解封装操作CoV为3.9%,处于AES-256-GCM的噪声基线(2.1%)之内;ML-DSA-65的签名操作CoV为51.5%,这符合FIPS 204拒绝采样算法的预期,而非侧信道泄漏。这种CoV方法此前未被应用于后量子密码库评估,为形式化常数时间验证工具提供了一种轻量级互补手段。所有实验结果均可通过单个Docker命令重现,确保了研究的可复现性。
💡 推荐理由: 该研究直击后量子密码学从标准到生产的关键痛点,quantum-safe库通过简化混合KEM、提供迁移工具等全面解决方案,大幅降低了迁移门槛和错误风险,对安全团队评估和部署后量子加密具有直接参考价值。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Nazmus Salehin Sammo
该论文针对澳大利亚新支付平台(NPP)的后量子密码学迁移问题进行了蒙特卡罗模拟研究。NPP每日处理520万笔实时交易,服务等级协议(SLA)要求端到端延迟低于2000毫秒。随着量子计算机预计在2030-2035年出现,以及“先收割、后解密”(HNDL)威胁的活跃,迁移到抗量子密码(PQC)迫在眉睫。论文评估了NIST FIPS 204/205/206签名标准(ML-DSA、SLH-DSA/SPHINCS+、Falcon)在NPP基础设施中的性能,联合建模了M/M/c队列饱和度、广义极值(GEV)尾部边界和HNDL精算暴露。模拟覆盖1000个季节性混合的模拟天(8000万事件),并在七节点多云测试床上使用liboqs 0.15.0跨四种微架构(Intel Xeon Ice Lake/Cascade Lake、AMD EPYC Milan、ARM Graviton3)进行跨平台验证。结果显示,ML-DSA和Falcon在所有配置下均达到100% SLA合规;最坏情况下NPP的p99开销为1.57毫秒(ML-DSA-87,占SLA预算的0.079%)。论文引入了加密稀释指数(CDI = delta-p99/p99_e2e),显示所有非SPHINCS+算法的CDI < 0.04。GEV分析得出p99.9边界低于154毫秒(95%置信区间)。Falcon-512是唯一适合SWIFT MT字段限制(2048字节,组合后1563字节)的NIST PQC签名。SPHINCS+在NPP流量下会导致HSM队列饱和(rho=1.8855,c=2服务器),达到0% NPP SLA合规,被描述为混合部署中的DoS放大面(利用率比约9428倍ECDSA)。HNDL精算模型估计到2030年将有95.6亿条NPP记录面临风险。迁移成本在2026年达到峰值2140万美元,到2028年降至每年150万美元。论文为支付基础设施的PQC迁移提供了详细的性能基准和成本分析,适合基础设施架构师、风险管理者和安全研究者阅读。
💡 推荐理由: 该研究首次针对高频实时支付系统进行PQC签名方案的性能建模,揭示了SPHINCS+在现有SLA下不可行的严重问题,并提出了CDI指标用于量化加密开销影响,对金融基础设施的量子安全迁移具有直接指导意义。
🎯 建议动作: 建议支付基础设施架构师评估ML-DSA或Falcon的集成方案,避免SPHINCS+,并参考迁移成本模型制定预算。
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)