Supersingularity and Superspeciality Verification of Abelian Surfaces
本文研究的是同源密码学(isogeny-based cryptography)中的一个基础性缺口:超奇异阿贝尔曲面(supersingular abelian surfaces)是构建超奇异同源图、维数更高的同源协议以及后量子密码方案的关键
共收录 36 条相关情报。
← 返回所有主题本文研究的是同源密码学(isogeny-based cryptography)中的一个基础性缺口:超奇异阿贝尔曲面(supersingular abelian surfaces)是构建超奇异同源图、维数更高的同源协议以及后量子密码方案的关键
本文提出 OT-PCA(Offline Template Plaintext-Checking Attack)一种针对后量子密钥封装机制 HQC(Hamming Quasi-Cyclic)的新型侧信道密钥恢复攻击框架,其基础是明文检测(Pl
该论文针对后量子签名方案在资源受限嵌入式平台上的实现效率问题展开研究。背景是:为应对量子计算对现有公钥密码的威胁,NIST 已标准化三类后量子签名方案 ML-DSA、FN-DSA(均为格基)以及 SLH-DSA(基于哈希假设)。为保持密码敏
该论文面向后量子密码在资源受限边缘设备上的落地难题,提出了名为 Peregrino 的硬件加速器。背景在于:量子计算机的出现威胁经典公钥密码的安全性(量子算法可破解在传统攻击下仍安全的方案),NIST 因此标准化了一批后量子密码算法,其中
该论文对后量子签名方案 Miranda 进行了密码分析,提出了一种高效的密钥恢复攻击。Miranda 的设计范式是:先选取一个具有隐藏代数结构的矩阵码(此处由一个 Gabidulin 码扩张而来,仅具备 Fq-线性性质),再通过掩码(mas
该论文针对后量子密码(PQC)迁移与嵌入式系统轻量化虚拟化两条技术趋势的交汇点展开系统性测量研究。背景是:一方面 NIST 标准化的 PQC 算法正逐步进入实际部署,另一方面嵌入式/IoT 设备开始广泛采用容器、unikernel 等轻量虚
该论文针对后量子密码(PQC)迁移这一战略窗口,指出现有成熟度模型仅评估“准备度”,而主权文献虽讨论“密码主权”却缺乏可操作测量。作者提出“准备度-主权能力模型”(RSCM),将PQC准备度与密码主权整合为国家层面的测量框架。RSCM把主权
本文提出了一套面向密码学软件的全新形式化验证方法论,其核心取向是直接验证“生产级代码”,而不是为了便于验证而专门改写代码。作者选择 Rust 作为目标语言,看重的是它在性能与系统集成方面的优势:Rust 的所有权机制使 Aeneas 工具链
该论文聚焦量子计算对云原生与微服务企业系统中经典密码学的长期威胁,指出传统密码原语已深度耦合进遗留微服务的代码与通信链路,直接改造应用代码升级到后量子密码(PQC)既复杂、风险高,又会造成业务中断。为此作者提出「策略治理的临时边车式后量子迁
本论文研究秩度量(rank-metric)线性码的邻近性间隙(proximity gap)问题及其密码学应用。邻近性间隙是交互式 Oracle 邻近性证明(IOPP)与多项式承诺方案(PCS)可靠性(soundness)分析的核心概念:对于
本文研究二元域 F2 上多元二次方程系统(MQ 系统)的解计数及其与复杂度理论的关系。判定一个平方二次系统(方程数等于变量数)是否有解是经典的 NP 完全问题,其困难性是构造后量子密码方案的基石。令 MQ_0(n) 和 MQ_1(n) 分别
该论文围绕开放无线接入网(O-RAN)中的量子安全增强问题展开系统综述。O-RAN 通过解耦和软件定义架构带来前所未有的灵活性、互操作性和智能性,但也因组件分散、接口开放而显著扩大了攻击面,产生传统移动网络不具备的安全漏洞。论文指出,现有经
本文由 Muhammad Shaheer Bin Junaid 提出,针对中小企业(SME)在云存储场景中面临的后量子密码迁移困境。核心威胁是“先收割后解密”(harvest-now-decrypt-later):攻击者现在即可收集云存储中
本文提出了一种基于场景的评估框架,用于分析量子计算及人工智能加速对 TLS 1.3 密码依赖构成的潜在风险。作者将威胁划分为不同的证据层级:基于机制支持的威胁(如 Shor 算法对 RSA 和 ECC 的攻击)、基于偶然性支持的威胁(针对基
该论文系统性地分析了量子计算对主流区块链平台的密码学威胁,并探讨了向后量子密码(PQC)迁移的可行路径。研究指出,依赖椭圆曲线密码(ECC)的区块链系统在量子计算机面前具有根本性脆弱性,特别是Shor算法可高效破解基于离散对数的密钥。作者将
格基后量子密码(PQC)与全同态加密(FHE)中的多项式乘法是资源、时间和能量最关键的运算之一。Barrett 模乘(BMM)因其硬件友好的特性和高效的模归约能力,在 PQC(如 Kyber、Dilithium)和 FHE(如 BGV、BF
该论文针对 NIST 额外签名流程第三轮候选方案 MQOM v2.1 提出了一个完整的密钥恢复攻击。攻击者只需获得一个合法签名,即可恢复完整的签名密钥,并利用该密钥对任意新消息生成有效签名,从而破坏方案的安全性。核心攻击思路是利用 Merk
该论文针对英国互联网各行业部门的后量子密码(PQC)部署现状进行了大规模测量研究。研究背景是:随着量子计算威胁日益临近,PQC被视为保障互联网基础设施长期信任的关键组件,而可观测的PQC支持通常被用作评估组织迁移进展的指标。作者指出,这种外
该论文针对后量子密码(PQC)中迭代数论变换(NTT)加速器的可扩展性问题,提出了一种内存并行化策略和优化架构PIP-NTT。现有NTT加速器通常采用乒乓存储方案和与分圆环大小匹配的大容量存储器,导致效率受限。作者提出将n大小的存储器拆分为
本文探讨了量子机器学习(特别是量子生成对抗网络QGAN)在评估后量子密码(PQC)协议安全性方面的潜力。随着量子计算机的发展,传统密码学面临威胁,因此后量子密码标准正在推进。然而,当前量子计算机虽规模有限,但仍可能被用于寻找PQC协议的弱点