本文提出一种新的安全属性——值不变属性（Value Invariant Property, VIP），并基于该属性设计了原型系统 HyperSpace，用于防御因内存破坏（memory corruption）导致的安全关键数据（如函数指针）被篡改的攻击。与传统的控制流完整性（CFI）或数据流完整性（DFI）机制不同，HyperSpace 直接保护“数据值”的完整性，而不是强制约束控制流或数据流，从而以极低的运行时开销有效阻断关键攻击。作者基于 HyperSpace 实现了四种代表性安全策略：控制流完整性（VIP-CFI）、代码指针完整性（VIP-CPI）、虚函数表指针保护（VIP-VTPtr）以及堆元数据保护。评估使用 SPEC CPU2006 基准测试和真实应用（NGINX、PostgreSQL），并测试了针对内存破坏攻击的防御效果，包括三个真实世界漏洞利用和六个能绕过现有防御的攻击（如 COOP 面向返回编程、堆利用等）。实验结果表明，HyperSpace 成功阻止了所有测试攻击，且运行时开销较低：VIP-CFI 平均性能开销为 0.88%，VIP-CPI 为 6.18%，VIP-CPI 在 SPEC CPU2006 上的内存开销约为 13.18%。该研究为内存安全防御提供了一种新思路，即通过维护安全敏感数据的不变式来有效抵御漏洞利用，同时保持高性能，适合系统安全、漏洞利用防御方向的从业者阅读。

虚拟设备是hypervisor的重要攻击面，其漏洞可能导致虚拟机逃逸甚至宿主机被攻破。现有模糊测试工具对虚拟设备的fuzzing效率有限，因为它们普遍缺乏对虚拟设备复杂行为的理解。本文提出Truman，一种新颖的通用模糊测试引擎，能够自动从开源操作系统驱动程序中推断依赖关系，构建设备行为模型（DBM），用于指导虚拟设备的模糊测试，无论目标虚拟设备是开源还是闭源。DBM包含消息间依赖、消息内依赖以及细粒度的状态依赖。基于DBM，Truman生成和变异满足依赖关系的高质量种子。在最新版本的hypervisor上评估原型，Truman在19/29个QEMU设备上覆盖率超越现有最先进的fuzzer，在virtio设备上相对Morphuzz获得34%的覆盖率提升。此外，Truman在QEMU、VirtualBox、VMware Workstation Pro和Parallels中发现了54个新bug，其中6个已分配CVE。本文方法适用于hypervisor安全研究人员和模糊测试工具开发者。

该论文提出并实现了 NYX，一种针对超管理器（Hypervisor/VMM）的高性能、覆盖引导的模糊测试工具。超管理器负责隔离同一物理机上不同虚拟机（VM）的安全边界，恶意用户若能在云 VM 上运行自己的内核，则可攻击大量攻击面，一旦利用成功将完全控制宿主机的所有 VM。因此，高效检测超管理器漏洞对现代云基础设施安全至关重要。现有研究表明，盲目模糊测试因测试吞吐量极高而成为最有效的方法。然而，NYX 通过引入快速快照恢复机制，实现了每秒数千次的重载被测系统，显著提升了性能。此外，作者提出了一种基于自定义字节码程序（编码为有向无环图 DAG）和仿射类型（affine types）的新型变异引擎，能够灵活表达复杂交互。评估结果显示，虽然 NYX 的吞吐量低于最先进的盲目模糊测试器，但在简单目标上表现相当，仅需稍长时间达到相同覆盖率。对于复杂设备，NYX 显著优于现有工作。更重要的是，NYX 发现了大量新漏洞：总计 44 个新 bug，其中 22 个已申请 CVE。实验证明覆盖引导的价值巨大，即使盲目模糊测试器可能更快。该研究适合超管理器开发者、云安全工程师、模糊测试研究人员阅读。

该论文提出 HyperFuzzer，一种针对虚拟机监控器（hypervisor）中CPU虚拟化实现的高效混合模糊测试工具。在云计算时代，hypervisor 的安全性至关重要，尤其是 CPU 虚拟化模块，它运行在最高特权级，漏洞可能导致整个云平台被攻破。传统黑盒和灰盒模糊测试因搜索空间巨大（涉及数千条指令、复杂交互状态）而只能发现浅层错误；白盒模糊测试（符号执行）虽能进行系统性分析，但现有实现依赖于慢速的硬件模拟器，无法扩展到真实规模。HyperFuzzer 创新地结合了三种技术：灰盒模糊测试用于快速覆盖新代码路径，白盒符号执行对关键模块进行深度分析，以及一个轻量级虚拟 CPU 模型来加速符号执行并避免硬件模拟器瓶颈。核心贡献包括：（1）设计了一种混合测试框架，在灰盒与白盒之间自适应切换，优先探索高风险区域；（2）提出可增量更新的虚拟 CPU 模型，准确刻画指令语义且开销低；（3）在多个主流 hypervisor（如 KVM、Xen）上进行了评估，结果表明 HyperFuzzer 比纯灰盒工具发现深层漏洞的效率提升 10 倍以上，并找到了若干之前未知的虚拟 CPU 漏洞。该方法适用于 hypervisor 安全测试、操作系统内核虚拟化单元测试，以及任何需要深度指令级验证的场景。本文供 hypervisor 开发者、安全研究员以及云平台安全团队参考。

该论文针对虚拟机监控器（hypervisor）利用问题提出新视角。传统方法依赖在宿主机中寻找高度受限的结构并准确确定其运行时地址，但在ASLR等防御下效果不佳。作者观察到现代虚拟化环境中存在弱内存隔离：客户机内存完全受攻击者控制，而宿主机可访问该内存，这为利用提供了可靠原语。基于此，论文首次系统刻画并分类了跨域攻击（CDA），即通过复用客户机内存实现能力提升的一类利用技术。为自动化该过程，作者开发了系统：识别跨域gadget、将其与损坏指针匹配、合成触发输入、组装完整利用链。在QEMU和VirtualBox的15个真实漏洞上评估表明CDA广泛适用且有效。该工作为hypervisor漏洞利用提供了新思路，并提出自动化框架，对hypervisor安全研究和防御有重要参考价值。