本文提出SEMSAN，一个用于检测系统级语义bug的可配置净化器（sanitizer）。系统级语义bug是指那些不违反内存安全或类型安全约束，但导致程序实际行为与设计意图相悖的缺陷，例如错误处理不完整、状态机跃迁错误、资源生命周期管理失误、并发交互错误等。这类缺陷在传统动态分析工具如AddressSanitizer或UndefinedBehaviorSanitizer中往往难以暴露，因为它们不会直接引发崩溃或非法内存访问，而可能表现为静默的功能失效、逻辑绕过或安全策略违背。SEMSAN的设计核心在于“可配置”，意味着使用者可以根据目标系统或代码库的特定语义约束自定义检测规则，从而针对不同领域（如操作系统内核、嵌入式固件、分布式系统）的典型语义属性进行定向监控。这一思路突破了传统格式化错误检测的局限，将自动化测试和动态分析的范围扩展至逻辑层。本文为arXiv预印本，但本记录中未包含完整的论文摘要，因此无法获取具体实现机制（如是否基于插桩、符号执行、或模型检查）、实验评估的基准项目、检测覆盖率、误报率等细节。基于标题与领域常规推演，SEMSAN的意义在于为系统软件的安全测试和漏洞挖掘提供一种更贴近开发语义的自动化手段，有助于蓝队识别那些不直接崩溃但可能导致安全绕过或行为异常的复杂缺陷。后续若公开具体技术细节，建议安全工程团队深入研究其适用场景及集成方式。

本文提出一种新的安全属性——值不变属性（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%。该研究为内存安全防御提供了一种新思路，即通过维护安全敏感数据的不变式来有效抵御漏洞利用，同时保持高性能，适合系统安全、漏洞利用防御方向的从业者阅读。

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

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