该论文提出了一种名为HAKCs（Hardware-Assisted Kernel Compartmentalization）的方法，旨在解决当前主流操作系统内核（如Linux）的 monolithic 设计带来的安全缺陷。当前内核中所有代码共享同一地址空间，以最高权限运行，并能无限制地访问所有数据，即使这些数据与当前任务无关。这种设计违反了最小权限原则，导致内核漏洞一旦被利用，攻击者可以获得整个系统的控制权。HAKCs 通过引入硬件辅助的隔离机制，将内核划分为多个独立的隔离区（compartment），每个隔离区只拥有完成任务所需的最小权限和资源。这种方法在保持兼容性和减少性能开销的前提下，能够有效限制内核漏洞的传播和影响。论文详细描述了HAKCs的设计架构、实现方案以及实验评估结果。实验表明，HAKCs在多种真实世界的内核漏洞场景下均能有效阻止攻击，而性能开销在可接受范围内（平均约5%）。该工作的主要贡献在于提供了一种实用、高效的内核隔离方案，无需对现有内核进行彻底重构，即可显著增强内核安全性。适合操作系统安全研究人员、内核开发人员以及关注系统安全加固的蓝队成员阅读。

本论文针对分拆化（compartmentalized）软件中的接口漏洞影响进行了系统评估。分拆化软件通过将程序划分为多个隔离的组件（如利用进程级隔离、沙箱或微内核架构）来增强安全性，但组件间的接口（如系统调用、RPC、共享内存）可能引入新的攻击面。作者首先提出了一个定量框架，用于衡量接口漏洞在分拆化环境下的严重性变化，包括漏洞利用难度、权限提升潜力、信息泄露风险等指标。然后，他们对多种主流分拆技术（如FreeBSD的Capsicum、Google的gVisor、以及基于unikernel的隔离方案）以及不同类型的接口（同步、异步、有状态、无状态）进行了系统测试。实验采用真实世界漏洞样本和合成漏洞两种方式，结果表明：分拆化并非总是能降低漏洞风险——在某些场景下，接口漏洞的利用难度反而降低，例如由于接口语义复杂导致绕过隔离机制；另外，权限分离策略若设计不当，可能使攻击者通过一个组件获得整个系统的高权限。论文的主要贡献包括：①首个系统量化分拆化接口漏洞影响的研究；②揭示了分拆化安全假设的局限性；③提供了设计更安全分拆化系统的指导原则。该研究适合软件安全架构师、操作系统开发者以及安全评估人员阅读。

本文提出 LatticeBox，一个硬件-软件协同设计的框架，用于实现可扩展且低延迟的隔离（compartmentalization）。在现有系统中，隔离机制（如进程或虚拟机）往往带来显著的性能开销，且难以在细粒度级别应用。LatticeBox 通过硬件辅助的隔离原语和软件运行时管理，实现了高效的内存和计算隔离。具体地，它利用硬件隔离区域（如 Intel MPK 或 RISC-V 物理内存保护）并结合轻量级上下文切换机制，显著降低了隔离边界间的通信延迟。实验表明，与传统的基于进程或容器的隔离方案相比，LatticeBox 在保持相同安全保证的前提下，延迟降低了 1-2 个数量级，同时支持动态扩展隔离域。该框架适用于云多租户、边缘计算以及安全攸关的嵌入式系统等场景，尤其适合对微秒级延迟敏感的应用。论文的主要贡献包括：形式化定义了隔离原语的语义、提供了一套硬件无关的抽象接口，以及在 FPGA 原型上验证了其可扩展性和性能优势。