该论文提出了一种硬件-软件协同设计方法，旨在解决可信执行环境（如Intel SGX）中飞地内部隔离效率低下的问题。现有飞地设计通常将整个应用放在同一个安全边界内，缺乏内部隔离机制，导致一旦飞地内某个组件被攻破，整个飞地数据都会泄露。作者设计了一种轻量级的隔离架构，通过硬件扩展（如自定义页表权限级别）和软件运行时配合，在飞地内创建多个独立的安全域，并支持域间受控通信。实验基于修改的RISC-V处理器和Linux内核实现，评估表明该方法在提供细粒度隔离的同时，仅引入约5%的性能开销，相比现有方案（如多飞地模型）有显著优势。该工作为机密计算、多方数据协作等场景提供了更灵活高效的隔离方案。

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

本文研究了容器隔离中的去同步风险（Desynchronization Risks），即容器运行环境与宿主机之间在时间、状态或资源视图上出现不一致，可能导致安全隔离失效或性能降级。作者首先系统分析了容器运行时（如runc、crun）与宿主机内核、cgroup、namespace等机制之间的同步点，识别出三类典型去同步场景：时钟漂移导致的定时器失准、cgroup统计更新延迟引发的资源超限、以及namespace切换时的竞态条件。针对这些风险，提出了一套分层的缓解策略：在运行时层引入同步检查点，在内核层优化cgroup事件推送机制，并在应用层提供可选的同步代理库。实验基于Docker和Kata Containers环境，测试了CPU、内存、网络I/O等负载下的去同步概率与影响，结果表明所提方法能将高危去同步事件的概率降低至1%以下，性能开销控制在5%以内。该研究对于云原生环境下的安全运行时设计与容器加固具有重要参考价值。