空间内存错误（如缓冲区溢出）在C/C++程序中依然是最常见的漏洞类型之一。尽管已有大量研究，但即使部分缓解方案的实际性能开销仍然过高，难以在生产环境中部署。为了降低成本，近年来的解决方案转向硬件辅助技术，例如Arm的内存标记扩展（MTE）。然而，现有MTE方案面临两大挑战：一是频繁的内存（重新）标记导致较高开销，尤其是在栈上；二是依赖随机内存标签的保密性，仅提供概率性的安全保证。本文首先通过实验证明随机标签的保护有限，攻击者可以通过推测执行（speculative probing）推断出内存标签。接着，作者提出StickyTags，一种确定性的MTE解决方案，能够高效缓解有界空间内存错误。StickyTags将栈和堆组织成按大小分类的区域，对每个区域应用预先确定的持久内存标签模式。这样，内存标签只需初始化一次，之后同一大小类的对象可以复用这些标签，从而消除了昂贵的重新标记开销。标签采用固定的循环分配方式，为每个对象周围提供较大的隐式空间防护。尽管防护大小受限于4位MTE的16种标签，但该保护是高效且确定性的。实验表明，StickyTags在SPEC CPU2006基准测试上实际运行时开销不超过4%，并且能完全缓解一个基于概率性MTE方案评估的8个空间CVE中的7个。该工作为低开销、确定性内存安全缓解提供了新思路。

该论文（海报）报告了RPKI（资源公钥基础设施）验证器Fort中的一个严重缓冲区溢出漏洞（CVE-2024-45237，CVSS 9.8）。攻击者可利用该漏洞在运行Fort的机器上实现远程代码执行（RCE）。论文独特地分析了该RCE在RPKI环境中的影响：由于RPKI的设计，该漏洞易于大规模利用，可破坏RPKI验证的完整性，并作为攻击网络中其他关键组件（如边界路由器）的强大跳板。作者还指出，该漏洞存在故意后门的迹象，而非简单的编码错误。目前已向厂商披露并分配CVE。该研究对于理解RPKI安全风险、评估部署Fort的组织具有重要参考价值。