本文是一篇关于软件隔离（compartmentalization）的系统化知识梳理（SoK）论文。软件隔离通过将大型系统分解为具有有限权限的小型组件来最小化漏洞利用的影响，这一理念历史悠久且经过广泛研究，但在实际主流软件开发中仍未得到广泛应用。论文首先指出当前术语和分析方法的不一致性，提出一个统一模型，用于系统分析、比较和指导隔离方法的设计。基于该模型，作者回顾了211项研究工作和61个主流隔离开系统（如Chrome沙箱、AppContainer等），对比分析发现：主流系统高度依赖人工方法、自定义抽象和传统机制，而研究领域中则涌现出大量自动化、细粒度的方案，两者之间存在显著差异。论文揭示了研究与实践之间的割裂，并给出建议：隔离问题应整体解决；需要简化隔离策略的定义；在面临混淆委派和硬件限制时，应更好地反思威胁模型；以及弥合研究与主流需求之间的鸿沟。本文不仅梳理了隔离领域的历史与现状，还为该领域的未来发展方向提供了框架，适合安全系统研究人员、操作系统开发者及对权限分离感兴趣的工程师阅读。

本文提出PalanTír系统，旨在通过硬件增强的系统可观测性来优化攻击溯源。现有的攻击溯源方法主要依赖软件级日志（如系统调用跟踪），但软件日志存在高开销、被篡改风险以及缺乏底层语义等问题。PalanTír利用现代处理器提供的硬件性能监控单元（PMU）和Intel Processor Trace等硬件特性，以低开销捕获细粒度的系统执行信息，从而构建准确的攻击传播图。核心创新包括：1）硬件辅助的因果追踪机制，利用硬件事件关联系统状态变化；2）基于硬件日志的溯源图压缩算法，在保证完整性的前提下显著降低存储和查询开销；3）原型系统在Linux上的实现，并在真实攻击场景（如提权、数据泄露）中验证了效果。实验表明，PalanTír相比于纯软件方案（如CamFlow、SPADE）在追踪精度上提升约40%，同时性能开销降低超过60%。本文适合系统安全、攻击溯源和硬件安全交叉领域的研究者阅读。

本文研究了一种名为Jinn的新型硬件木马攻击，能够劫持即使受到安全策略保护的程序。传统的控制流完整性（CFI）或软件故障隔离（SFI）等机制可以防止内存损坏漏洞的利用，但Jinn假设攻击者能够在CPU或GPU中植入恶意硬件（Trojan）。这些硬件Trojan在安全策略的检查点执行之后，暗中修改控制流或数据，从而绕过安全机制。作者形式化地定义了这类攻击的威胁模型，并在gem5模拟器上实现了多个攻击变体，包括控制流劫持和输出数据篡改。实验在RIPE基准测试和实际应用（如libquantum、bzip2）上进行，成功演示了攻击的有效性。论文贡献在于公开论证了硬件Trojan可以完全颠覆软件安全机制，即使程序本身不存在可利用的软件漏洞。该研究对系统安全、硬件安全以及安全策略的设计提出了新的挑战。适合安全研究人员、硬件设计者以及系统防御者阅读。