本文针对现有系统审计架构在事件覆盖率和日志可用性之间的两难问题展开研究。传统审计机制通常以内核模块或系统服务的形式实现，在记录高细粒度事件时往往面临严重的性能开销，导致系统管理员必须在“记录更多事件”与“保证业务响应速度”之间做出取舍。作者指出，现代操作系统审计（如 Linux Audit、Windows ETW）在事件量激增时会造成日志丢失、延迟或系统停顿，从而削弱安全监控的完整性和实时性。为解决上述问题，论文提出一种重新设计的系统审计架构，核心思路是将事件采集、规范化、关联与存储流程解耦，并通过同步日志可用性机制确保安全分析人员能够及时获取一致、完整的审计记录。该方法强调在保持高事件覆盖率（即不遗漏关键安全事件）的同时，实现日志的同步可读性，避免因异步缓冲或批量刷写导致的监控盲区。论文的主要贡献包括：提出一种新型审计流水线架构，支持系统级事件的全面捕获；设计高效的同步日志接口，降低事件传输延迟；通过实验评估证明该架构在事件吞吐量、日志完整性和性能开销方面优于现有方案。适合系统安全、操作系统内核、蓝队监控基础设施以及SIEM集成方向的研究人员和工程师阅读，能够为构建高性能、高可靠的主机审计系统提供理论依据和设计参考。

操作系统（OS）的安全运行依赖对内存硬件（如 MMU、IOMMU）的正确配置，这为运行中的不可信应用提供隔离与完整性强约束。然而，硬件厂商不断推出新型地址转换与保护机制，其配置方式各异，导致 OS 开发者必须手动编写底层配置代码。这一过程既费时又易错，且可能引入破坏安全隔离保证的细微缺陷。本文提出 Velosiraptor 系统，利用软件合成（software synthesis）技术，自动生成正确、低层的内存硬件配置代码。开发者只需提供内存硬件映射行为及 OS 环境的高层描述，Velosiraptor 工具链即可将其转换为经验证（verified）的实现，并直接与 OS 其余部分链接。该方法将 OS 环境纳入合成过程，使得将 OS 移植到新硬件平台时无需手工编写内存配置代码；同时，同一份规范还可用于生成硬件组件，便于研究新型地址转换机制。系统通过领域特定约束大幅提升合成效率，并确保生成代码的正确性，从根本上减少人工编码引入的安全漏洞。该研究面向 OS 开发者、硬件设计者以及形式化方法研究者，展示了如何通过自动化和验证手段提升系统底层安全韧性。

随着大语言模型驱动的自主代理获得规划、工具使用、网络访问和代码执行等能力，传统基于“资源暴露+权限检查”的操作系统安全模型面临结构性挑战。一旦代理运行时遭受提示注入或恶意工具输出攻击，攻击者可以组合POSIX风格的资源原语，产生远超用户任务授权的行为。针对此问题，本文提出AgenticOS，一种面向意图的安全操作系统架构。其核心理念是将操作系统从“资源管理器”重新定义为“意图过滤器”：代理不再直接请求低级资源，而是提交结构化的意图声明，系统据此合成一个最小权限环境，并强制实施中介、审计和信息流约束。实现层面，引入了四层架构——幽灵内核（Ghost Kernel）、逻辑快门（Logic Shutter）、代理胶囊（Agent Capsule）和语义边界网关（Semantic Boundary Gateway），同时设计了Intent ABI、仅清单运行时（Manifest-Only Runtime）、基于Weaver的能力生成以及AgenticOS原生技能的准入模型。实验证明了该架构在安全性和性能上的可行性。本文适合操作系统安全、AI安全、自主代理安全领域的研究者和工程师阅读。