该论文针对量子计算-经典通信（QCCC）密钥协商协议的不可能性问题取得了重要进展。作者在量子随机预言机模型（QROM）下，构造了针对两类受限设置的无条件攻击（即攻击者计算能力无界，仅以多项式次查询即可恢复密钥）。第一类为两消息设置：假设 Alice 在第一轮仅对预言机进行经典查询，且发送给 Bob 的消息为经典比特串，但双方在后续计算中可执行任意量子计算、进行量子查询，并在第二轮发送量子态。该攻击基于 Austrin 等人（CRYPTO 2022）的重查询学习技术和 Katz-Sela（arXiv 2401.14319）的重编程技术。第二类为轮数无关设置：作者证明 Barak-Mahmoody（CRYPTO 2009; J. Cryptology 2017）的攻击可扩展到多轮场景，前提是 Alice 和 Bob 使用经典通信，且除最后一轮外的所有轮次仅进行经典预言机查询。在两种设置下，只要诚实参与者的查询次数上界为 poly(λ)，且合法协商成功的概率为逆多项式，攻击者就能以 poly(λ) 次查询成功恢复密钥。该结果进一步推论：在 QROM 中，当密钥生成具有经典预言机访问时，任何针对经典消息的、完美性有缺陷（即有一定错误概率）的量子公钥加密（PKE）方案都无法存在，即使加密、解密和密文均为量子形式。特别地，该否定结果适用于 Bartusek 和 Khurana（CRYPTO 2025）基于两轮 OSP 构造的、完美性有缺陷的 PKE（对于单比特明文），只要经典 OSP 发送方仅进行经典随机预言机查询。这项研究从理论上划定了量子密钥协商在特定模型下的可行性边界，对后量子密码协议的设计具有指导意义。

该论文针对去中心化安全群组消息传递中的密钥协商问题展开研究。现有安全群组消息协议通常假设一个中心化网络模型，所有消息通过单一服务器路由，并且该服务器被信任为群组状态更新提供一致的全序关系。然而在去中心化网络中不存在这样的中央权威，因此需要重新设计密钥协商机制。作者提出了去中心化连续群组密钥协商（DCGKA）这一新的密码学原语，它构成去中心化安全群组消息协议的核心。论文给出了DCGKA协议的一个实用构造，并证明了其安全性。该协议能够应对移动设备频繁离线、群组成员动态添加与移除、以及长期会话中设备被攻破等实际威胁。在设备泄露情况下，协议实现了前向保密和后向（泄露后）安全。作者还描述了如何从DCGKA构建完整消息协议，并通过原型实现评估了性能，展示了其实用效率。这项工作为无中心权威的端到端加密群组通信提供了理论基础和可行方案。适合对安全消息协议、密码学原语设计、去中心化系统感兴趣的网络安全研究人员阅读。

远程自主代客泊车（LAVP）系统旨在缓解城市交通拥堵与停车困难，但大规模停车需求下的预约服务面临身份合法性和通信安全方面的挑战。现有方案大多聚焦于停车请求验证和入场检查，未能充分保护乘客上下车过程中的身份认证与会话安全。针对这一问题，论文提出了 SecLAVP，一种可证明安全的三因素认证与密钥协商协议。该协议结合密码、生物特征和智能卡，在上下车点（DP）的辅助下，实现乘客与自动驾驶车辆（AV）之间的双向认证，并协商建立会话密钥用于后续安全通信。安全性分析方面，作者在 Real-Or-Random（ROR）模型中形式化证明了协议具有会话密钥安全性；AVISPA 模拟验证了协议能够抵抗中间人攻击；非正式分析表明其满足 15 个既定安全目标。性能评估从通信开销、计算开销和调度三个方面展开，结果显示 SecLAVP 具备实际部署的可行性。该研究为 LAVP 预约服务提供了一套完整的安全认证框架，对车联网和智能交通系统中的身份管理与密钥协商设计具有参考价值。

该论文研究了基于关联光物理不可克隆函数（PUF）的噪声受限秘密密钥协商协议。光PUF利用相干光在无序光学结构中散射产生的随机但可复现的散斑图案作为硬件指纹。论文考虑一对关联的光学PUF，分析在制造工艺变异和环境影响（噪声）条件下，两个诚实方如何利用这些相关指纹建立共享秘密密钥。作者开发了一个完整的信息论密钥协商框架，包含以下三个关键组件：1）安全草图（secure sketch）用于处理指纹间的细微差异；2）纠错（error reconciliation）协议，包括实用方案和接近信道容量的方案；3）隐私放大（privacy amplification）以消除泄露信息。论文量化了公开辅助数据（helper data）中的信息泄露，并推导了最终秘密密钥长度的下界，明确了在不同噪声水平下安全密钥协商的可行性。研究还比较了实用纠错方案与理论极限的性能差距。最后，论文讨论了如何将双光PUF集成到量子密钥分发（QKD）网络中，作为一种不依赖计算安全性假设或可信第三方的初始预共享密钥建立机制。适合量子密码、硬件安全、信息论安全领域的研究人员阅读，为物理层密钥生成提供了理论分析基础。

本文研究经典验证量子计算中的核心工具——反对易算符测试，并探索其所需的密码学结构。作者首先形式化定义了“非对易测试”（ToNC），这是一种量子证明者与经典验证者之间的交互协议：验证者发送一个挑战比特c，证明者根据c测量两个二进制可观测量P0或P1之一并返回响应。协议要求诚实证明者能通过测试，而恶意量子证明者无法同时成功应对两个挑战。论文的核心贡献在于证明了ToNC与经典密码学原语之间的蕴含关系：（1）ToNC本身即可构造经典通信的密钥协商协议（KA），该协议允许双方通过经典信道协商共享密钥，且能抵抗量子 adversaries；（2）ToNC与单向函数结合可构造不经意传输（OT），OT是更高层密码协议（如安全多方计算）的基础。在技术路径上，作者发展了后量子密码学中困难性放大（hardness amplification）的两个重要工具：后量子硬核测度定理（post-quantum hard-core measure theorem）和后量子交互XOR引理（post-quantum interactive XOR lemma）。前者指出，对于任何高效可采样、具有高最小熵的分布（其中量子电路预测b的优势至多为δ），存在一个密度为(1-δ)的子分布，使得b几乎达到最优的量子难预测性。后者断言，对于任何经典交互协议，若量子敌手猜测私有挑战比特b的优势至多为δ，则两次顺序重复可将猜测挑战比特异或b1⊕b2的优势降低至δ^2加上可忽略函数。这些工具独立于主要结果具有广泛意义，为后量子密码学中安全性的紧致归约提供了新方法。本文适合对量子密码学、经典验证量子计算以及后量子安全协议设计感兴趣的研究者阅读。