本文关注量子计算在网络攻防中的非密码学应用方向。目前业界对量子安全威胁的讨论几乎都集中在 Shor 算法最终能够破解 RSA/ECC 等非对称密码,而作者认为量子计算同样可能为攻击性安全带来新的能力。论文选择的切入点是 Return-Oriented Programming(ROP)利用构造中的 gadget 选择问题:在现代系统开启 SMEP/SMAP 等缓解措施后,攻击者需要从目标二进制中挑选一组 gadget 并拼接成可用的利用链,这本质上是一个带约束的组合优化问题。作者将其形式化为 Quadratic Unconstrained Binary Optimization(QUBO)模型,目标函数同时刻画单个 gadget 的选取代价以及 gadget 之间寄存器破坏(register clobbering)造成的相互干扰,使不同 gadget 拼接时的冲突能够被量化并纳入优化。随后使用量子近似优化算法(QAOA)在真实的 IBM Heron r2 量子硬件上求解该 QUBO 模型。在面向 Linux 内核利用场景的实验中,QAOA 选出的 gadget 链在 SMEP 与 SMAP 均处于开启状态的前提下完成了提权至 uid=0,表明该量子优化方法确实能产出可用的利用链。作者进一步在 8 个 Linux 二进制、共 16 个基准实例上进行评估:QAOA 在其中 11 个实例中恢复了最低成本的有效链;剩余 5 个实例未能找到最优解,失败原因与当前量子硬件规模有限、QAOA 电路深度过大导致的噪声和退相干有关。该工作属于探索性研究,展示了量子组合优化在攻击性自动化任务中的可行性边界,也暴露了当前量子硬件在电路深度和求解质量上的现实限制,适合量子计算、漏洞利用研究与攻防自动化方向的研究人员阅读。
💡 推荐理由: 量子安全议题长期被等同于破解密码,本文提示量子组合优化可能被用于利用链自动生成的搜索环节,进而影响利用开发门槛与缓解措施(如 CFI、SMEP/SMAP)的长期有效性,防御方需关注该趋势而非仅关注后量子密码迁移。
🎯 建议动作: 研究跟进