Witness Encryption via Prime-Order Generic Groups
该论文研究如何在不依赖不可区分混淆(iO)、多线性映射等强假设的前提下构造 NP 的见证加密(Witness Encryption, WE)。WE 允许发送方针对某个 NP 陈述 x 加密消息：持有 x 的有效见证者可解密，而当 x 不属于
#post-quantum
共收录 88 条相关情报。
← 返回所有主题GAUGE: A Formal Framework for Measuring Cryptographic Security under Heterogeneous Adversary Cost Models
该论文针对密码学安全强度报告方式的一个根本性缺陷展开研究：标准化机构（如 NIST）通常用单一比特数表示某个密码方案的安全强度，但这一数值本质上依赖于评估者所采用的攻击者成本模型——即对时间、内存与量子资源如何定价。不同的定价约定会导致同一
Enc53: DNSSEC-Anchored Stateless Tickets for Post-Quantum Authoritative DNS
DNSSEC 能对 RRset 做来源认证，但不提供端点身份认证与信道加密。DoT/DoQ 虽可补足，但其设计假设是 stub 到递归解析器这一跳：连接长期存活，可摊薄昂贵的初始握手。而递归到权威这一跳具有高扇入、每个解析器查询频率不均的特
Transparent Identity Verification Approach Using MPC and Efficient Credential Status Handling
该论文针对数字身份验证（eKYC）场景中隐私保护与效率难以兼顾的问题展开研究。作者指出，现有基于零知识证明（ZKP）的 eKYC 框架存在计算开销高、电路设计僵化、集成复杂以及链上验证成本昂贵等缺陷；同时，W3C 2021 提出的基于 Bi
Dependency-Aware ROM/CBD Correctness Bounds for ML-KEM-768 at the Heuristic Failure Scale
该论文研究 ML-KEM-768（即 FIPS 203 标准化的 Kyber 密钥封装）在诚实解封装条件下失败概率上界的严格认证问题。ML-KEM 的安全性论证长期依赖一个启发式结论：解封装失败率约为 2^-164 量级，但近期的形式化评估
The Native-Signature Boundary in Post-Quantum Distributed Authorization
该论文聚焦于后量子签名迁移在多方分布式授权场景中的系统问题。当授权由多方执行时, 传统原生阈值签名会将密钥生成、份额状态、预处理、交互、组合、刷新和恢复等环节与算法紧密耦合。为降低耦合, 有些架构在原生签名关系之外评估阈值策略, 但这些架构
Memetic Search for Supersingular Elliptic Curves over $\mathbb{F}_p$
该论文研究基于同源的密码学（isogeny-based cryptography）中的一个基础计算问题：在素数域 F_p 上搜索超奇异椭圆曲线。此前相关工作在 F_{p^2} 域上引入了非重数距离（NonMultiplicity Dista
Beyond Object Authentication: Context-Closed Post-Quantum Authentication for the WebPKI
该论文针对后量子迁移背景下 WebPKI 认证成本增加的问题，指出仅对压缩证书对象进行认证并不能保留依赖方（relying party）接受该证书时所依赖的可变授权上下文。作者形式化了“上下文闭合”（context closure）概念：验
A New Algebraic Algorithm for LWE
本文提出一种求解搜索型LWE问题（Search-LWE）的新代数算法。LWE问题由Regev于2005年引入，是现代密码学与后量子安全的核心假设。目前求解Search-LWE的算法大致分为代数类、组合类和格基类。该工作属于代数方法：其高层思
Thresholding Post-Quantum Signatures
本文系统研究了后量子签名方案在阈值签名场景下的适用性与构造工具。阈值签名将签名密钥分散到 N 个参与者中的 T 个，只有 T 方合作才能生成合法签名，这种分布式信任模型在区块链、多方计算、密钥管理等领域有广泛应用。当前实际部署的阈值方案大多
Random Beacons in Monte Carlo: Efficient Asynchronous Random Beacon without Threshold Cryptography.
本文提出了一种名为 HashRand 的高效异步随机信标协议，旨在解决区块链、投票、安全分布式计算等场景中对不可预测且无偏随机性的需求。现有随机信标协议大多依赖阈值密码学设置或存在高计算开销，部分协议还要求网络部分同步或具备有界延迟，这些限
Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance
该论文提出了一种名为 Kestrel 的静态分析方法，用于在剥离符号、静态链接和优化后的二进制文件中识别标准化的基于格的抗量子密码算法 ML-KEM 和 ML-DSA。当前缺乏从编译后的二进制代码验证量子脆弱算法是否已被批准的量子安全算法替
A Drop-in KEM Replacement for Client Signatures in Post-Quantum SSH
该论文针对后量子密码迁移背景下 SSH 协议的用户认证环节提出了一种基于 KEM（密钥封装机制）的替代方案。当前 SSH 的后量子迁移主要聚焦于密钥交换（已在 OpenSSH 中部署并进入标准化流程），而用户认证仍主要依赖后量子签名，这带来
Obscura-PQ: Post-Quantum Privacy-Preserving Protocol for the Algorand Blockchain Using Lattice-Based Linkable Ring Signatures
本文提出 Obscura-PQ，一种在 Algorand 区块链上原生验证的后量子隐私保护协议，旨在解决现有区块链隐私方案在量子计算时代面临的根本性安全危机。公共区块链暴露完整交易图，而当前隐私协议几乎全部依赖椭圆曲线密码学，其安全基础——
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols.
该论文提出了首个面向协议计算后量子安全性的机械化证明体系。核心贡献是设计了一个新的计算一阶逻辑 PQ-BC，该逻辑相对量子攻击者是可靠的，并基于此实现了机械化证明工具 PQ-SQUIRREL（通过修改经典的 SQUIRREL 证明器并加入新
A Lightweight and Post-Quantum Secure Framework for IEC 61869-9 Sampled Value Communication
该论文针对 IEC 61869-9 采样值（Sampled Values, SV）通信的安全挑战，提出了一种轻量级且具备后量子安全能力的框架。IEC 61869-9 是数字变电站过程总线通信的重要标准，其 SV 流量具有高速率、严格实时性要
A Loss-Robust Disturbance Certificate for Minimal-Receiver Quantum Key Distribution
该论文针对量子密钥分发（QKD）系统中最具破坏性的攻击面——接收端展开研究。传统 QKD 接收机依赖一对探测器，密钥比特由哪个探测器响应来编码，这为攻击者提供了可利用的侧信道。论文提出的最小接收机结构仅包含一个可旋转偏振片和一个阈值探测器，
Redactable blockchains and polynomial equations
本文研究可编辑区块链（redactable blockchains）中的认证数据结构构造问题，并提出了新的后量子安全工具。传统区块链具有不可篡改性，但这一特性在某些场景（如数据合规、被遗忘权、恶意内容删除）中成为障碍。可编辑区块链允许在保持
Copy-Protection with Correlated Challenges: Point Functions and More via Decisional Coset Monogamy
量子复制保护是一种利用量子力学的不可克隆原理，将函数的功能编码在量子态中，使得任何恶意方都无法将该量子态拆分成两个仍能同时正常运行的量子态的技术。此前标准模型下的多项研究只支持独立采样的挑战，而对于更接近实际语义的“相同挑战”或“相关挑战”
Shorter and Faster Post-Quantum Designated-Verifier zkSNARKs from Lattices.
本文提出并实现了新的基于格的后量子指定验证者zkSNARK，目标是缩小后量子与预量子（经典）zkSNARK在证明大小上的巨大差距（当前约1000倍）。作者在指定验证者预处理模型下，结合二次扩域与秩2模格上的线性唯一向量加密，具体化了Bita