本文关注量子计算在网络攻防中的非密码学应用方向。目前业界对量子安全威胁的讨论几乎都集中在 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 电路深度过大导致的噪声和退相干有关。该工作属于探索性研究，展示了量子组合优化在攻击性自动化任务中的可行性边界，也暴露了当前量子硬件在电路深度和求解质量上的现实限制，适合量子计算、漏洞利用研究与攻防自动化方向的研究人员阅读。

本文提出了一种名为“Hack the Heap”的在线谜题游戏和配套工具链，旨在简化和辅助堆布局操纵（heap layout manipulation）这一在利用堆漏洞时极具挑战性的环节。作者指出，堆布局操纵对于经验丰富的漏洞利用开发者而言也十分困难，因为即使简单的操作也可能以复杂方式影响堆布局，且不同分配器（allocator）对相同操作会产生截然不同的堆布局，理解这些内部实现差异既耗时又易错。现有工作要么只关注特定类型应用，要么需要源码访问，要么产生复杂且不透明的解决方案，仍需额外逆向工程才能完成漏洞利用。针对这些问题，Hack the Heap 通过游戏化方式直接提供堆布局操纵问题的解决方案，包含详尽教程，且不要求玩家具备计算机科学知识。该工具链还能从未经修改的真实世界应用生成堆漏洞谜题，作者成功从 3 个 CVE 中的 2 个创建并解决了谜题，且解法对应真实世界的堆布局操纵方案。这项工作在保留实践漏洞利用开发所需关键信息的同时，降低了堆布局操纵的门槛，并增加了趣味性。论文主要贡献包括：提出游戏化学习/解决问题的新方法，提供自动化工具链生成基于真实软件的谜题，并通过 CVE 案例验证了方法的可行性和有效性。适合对堆利用、内存安全、安全教育和自动化漏洞分析感兴趣的研究者和安全从业者阅读。