该论文首次系统性地探索了针对量子电路中门级（gate-level）与脉冲级（pulse-level）接口以及脉冲级量子电路本身的安全攻击。传统量子程序通常基于门级原语定义，但为了提升电路表达能力并支持更优优化，脉冲级电路正被越来越多地采用。攻击的核心思想是利用自定义门在门级描述与其底层的脉冲级实际实现之间存在的不一致性：攻击者通过恶意操纵自定义门规范，可以在量子程序执行时引入隐蔽的异常行为。论文提出了多种攻击类型，包括量子比特掠夺（qubit plunder）、量子比特阻塞（qubit block）、量子比特重排（qubit reorder）、时序失配（timing mismatch）、频率失配（frequency mismatch）、相位失配（phase mismatch）以及波形失配（waveform mismatch）等。作者在真实量子计算机和模拟器上演示了这些攻击，并表明目前大多数量子软件开发工具包（SDK）均易受这类新型攻击影响。最后，论文提出了一套防御框架。该研究对脉冲级量子电路的安全与隐私问题进行了开拓性分析，为未来安全的量子软件开发工具包和量子计算机系统的发展提供了重要见解。适合量子计算安全研究者、量子软件栈开发者以及关注新兴计算平台安全性的安全分析师阅读。

该论文围绕开放无线接入网（O-RAN）中的量子安全增强问题展开系统综述。O-RAN 通过解耦和软件定义架构带来前所未有的灵活性、互操作性和智能性，但也因组件分散、接口开放而显著扩大了攻击面，产生传统移动网络不具备的安全漏洞。论文指出，现有经典密码学机制虽能应对传统威胁，但在量子计算不断成熟的背景下，可能被具备量子能力的对手破解。为此，作者提出一套面向 O-RAN 的量子安全增强框架，涵盖后量子密码（PQC）、量子密码学、量子认证以及基于量子的威胁检测技术，并与零信任架构协同应用（遵循持续验证、最小权限、微隔离等原则）。文章深入探讨了这些机制如何与近实时（Near-RT）RAN 智能控制器（RIC）、O-Cloud 平台及各类开放接口集成，分析实际部署中的关键因素，包括技术成熟度、标准兼容性和采纳时间线。此外，论文还总结了当前开放研究问题，如量子密钥分发在 RAN 侧的实用性、量子安全协议的轻量化设计、以及面向 6G 时代如何构建可持续演进的安全架构。整体上，该文为 O-RAN 安全研究提供了从理论到落地路径的全面视角，适合移动网络架构师、安全研究员以及关注后量子时代无线通信安全保障的从业者阅读。

本文提出了一种基于高维 prepare-and-measure 机制的确定性安全量子通信（DSQC）协议，并引入 Reed-Solomon 纠删码以增强抗噪声能力。DSQC 是一种量子密码技术，旨在通过量子信道直接传输消息，同时利用辅助经典信道进行窃听检测与解码，无需预先分发密钥。该协议在理论上具有三个显著优势：第一，它不需要量子存储或纠缠资源，降低了实现难度；第二，它可以使用当前商用光学器件搭建，具备实际可行性；第三，高维编码提升了单次传输的信息容量，从而提高了整体传输速率。论文重点在于理论方案设计，未提供实验验证数据，但为后续量子安全通信的工程化提供了新思路。从防御者角度看，该研究属于量子密码协议的创新方向，虽然不解决现有网络威胁，但预示着未来安全通信基础设施的潜在演进。适合关注量子安全、密码学以及下一代通信安全的研究人员阅读。

本文提出并探索了“隐蔽量子计算”（covert quantum computing）这一新概念，旨在解决多租户量子云平台中用户隐私保护问题。当多个用户共享同一个量子处理单元（QPU）时，传统安全假设不足以防止恶意租户通过检测量子计算单元（QCU）上的活动来推断其他用户的秘密操作。作者借鉴隐蔽通信的信息论思想，但因其面临的情景更加复杂——攻击者拥有对部分QCU的控制权并可进行自适应操作——故采用量子博弈论和记忆信道鉴别中的“量子策略”框架进行隐蔽性分析。当前量子计算机采用平面图电路布局并假设最近邻串扰（nearest-neighbor crosstalk）为主。通过推导离散等周不等式，作者发现：在n量子比特电路中，仅边界（border）上的O(√n)个量子比特会向攻击者泄露检测信息。为验证这一标度律，他们在IQM的54量子比特Emerald处理器和IBM的156量子比特ibm_fez（基于Heron 2架构）上进行了实验：对未参与计算的量子比特执行Ramsey实验，检测到了预期的最近邻串扰；然而，他们还观察到超出边界量子比特的长程耦合效应，这揭示了攻击者可利用的侧信道。作者推测这种长程串扰源于驱动线和控制线的泄漏。该现象不仅削弱了隐蔽性，还使共租户暴露于恶意或无意的串扰下，并损害跨越空间分布量子比特的电路质量。因此，文章呼吁进一步研究空间隔离和串扰表征。本文的主要贡献在于：1）形式化定义了隐蔽量子计算问题并建立分析框架；2）从理论上推导了边界缩放定律；3）实验发现了意外的长程串扰，揭示了实际量子处理器中的安全隐患。适合量子计算安全、量子云平台架构、硬件设计研究人员以及关注量子侧信道的安全从业者阅读。

该论文综述了变分量子电路（VQC）中的后门攻击威胁。变分量子算法（VQA）是含噪中等规模量子计算的核心范式，但其依赖预设计和预训练的VQC引入了严重的安全漏洞，特别是后门攻击。这些攻击将隐藏的恶意行为嵌入模型中，在正常情况下保持休眠，但被特定触发器激活后会导致对抗性后果，如错误预测或操纵目标值。论文系统性地梳理了后门攻击的分类，涵盖数据投毒、编译器级别和量子原生机制，形式化了关键术语和威胁模型，并回顾了现有攻击策略及其经验特征。此外，分析了当前检测与防御方法，指出了其局限性，尤其是在应对量子特定威胁方面的不足。通过综合最新进展，论文勾勒了VQC的安全演变格局，并指出了在混合量子-经典系统中开发鲁棒、量子感知防御的关键挑战和未来方向。适合量子计算安全研究人员、VQC开发者和对AI安全感兴趣的读者。

本文提出QCIVET，一个基于契约的完整性验证框架，用于混合量子-经典管线。混合管线在药物发现、欺诈检测和云QPU审计等领域越来越重要，但现有的完整性验证方法主要局限于经典计算，无法捕获量子阶段的行为。QCIVET将混合管线建模为一系列阶段，每个阶段有显式规范，并在语法和语义两个层面进行审计。语法完整性通过哈希链审计追踪实现，可选外部锚定；语义完整性在量子阶段通过基于Liskov和Wing行为子类型理论的校准可观测偏差测试来验证。作者证明了在量子信道间diamond范数距离下的可靠性、信息完备可观测量族下的条件完备性以及继承链下的组合性。还识别了一类Z-only-sneaky覆盖，可以规避弱的单Pauli契约，但被多Pauli契约暴露。框架在IBM Quantum Eagle r3和Heron r2处理器的校准噪声模型下进行评估，子类型分离协议在真实的ibm_fez (Heron r2)处理器上进行了端到端验证。QCIVET在三个代表性应用上实例化：用于药物发现的变分量子本征求解器（VQE）、量子辅助欺诈检测以及云QPU服务的客户侧审计。参考实现（包括实时验证引擎，每阶段提交延迟亚毫秒）已开源发布。本文适合量子安全研究人员、混合计算系统架构师以及关注量子服务完整性的安全从业人员阅读。