本文针对控制流完整性（CFI）策略的安全评估问题展开研究。现有防御机制（如 CFI）在缓解内存破坏漏洞利用方面发挥着重要作用，但不同实现的防护能力难以比较。既有度量指标（如 AIR）仅关注控制流图的边或基本块的覆盖情况，却未考虑不同基本块对攻击者的利用价值，导致评估结果无法真实反映策略的安全强度。为此，作者提出了两种新型度量指标：BLOCKINSULATION 和 CFGINSULATION。它们通过模拟攻击者在控制流图中遍历时可利用的基本块价值，来衡量 CFI 策略对攻击路径的阻断能力，克服了传统指标的局限性。在此基础上，论文进一步提出了一种新颖的 CFI 策略生成器 NumCFI，其设计目标是与现有策略生成器正交，能够阻止攻击者从易受攻击的代码段直接跳转到系统调用指令，从而切断利用链中的‘捷径’。作者使用 BLOCKINSULATION、CFGINSULATION 以及现有指标对 NumCFI 和其他多种 CFI 策略生成器进行了系统性评估。最后，论文描述了 L+TCFI——一种将 NumCFI 与基于标签的现有策略相结合的完整实现，其性能开销仅为 1.27%，展示了所提方法在实际部署中的可行性。该研究为 CFI 领域提供了更精细的安全评估工具和一种新的策略设计思路，适合系统安全研究人员、编译器开发者以及负责CFI机制选型的蓝队工程师阅读。

本文针对量子软件安全度量缺失的问题，提出了“量子软件安全品质因数（Security Figures of Merit, S-FoMs）”的初步框架。研究背景是：量子软件日益通过多租户和云端的量子即服务（QaaS）栈交付，近年研究已展示出跨流水线的多样化攻击向量，但社区在性能度量上已形成三大支柱——规模（量子比特数）、质量（量子体积）和速度（每秒钟电路层操作数，CLOPS），并开始定义软件质量度量，然而量子软件的安全性仍基本未被量化度量。现有少量定量安全指标（如总变差距离TVD和功能损坏程度DFC）是为个别电路混淆技术临时引入的，彼此不兼容。作者主张量子软件安全应获得与性能同等重视，需要一套明确的S-FoMs。本文研究包含三部分：其一，刻画了“三层测量缺口”（即安全度量在量子软件栈各层级上的缺失）；其二，提出一个结构化的S-FoM集，按ISO/IEC 25010安全子特性、QaaS流水线映射和测量成熟度进行组织；其三，定义了一个基准评估量表（benchmarking rubric），将S-FoMs归一化并聚合为组合式“量子软件安全态势（QSSP）”评分。此外，论文对已发表的混淆技术进行了说明性再分析。作者旨在为量子软件栈（QSS）的安全感知基准化迈出第一步。适合量子计算安全研究者、QaaS平台提供商以及制定安全基准的标准化组织阅读。