本文提出 NARRATOR，一个面向云环境中可信执行环境（TEE）的状态连续性保护方案。TEE 如 Intel SGX 和 AMD SEV 能够保护运行时代码和数据的机密性与完整性，但缺乏对状态连续性的原生支持：当 TEE 实例崩溃、迁移或休眠后，其内部状态可能丢失或无法安全恢复。现有方案如远程证明和状态加密存在性能开销大或安全假设强的问题。NARRATOR 通过引入轻量级的、基于硬件的单调计数器与持久化加密存储，实现了高效且安全的状态输入输出（state I/O）机制。核心创新包括：(1) 设计了一种无需依赖外部可信第三方即可验证状态新鲜性的协议；(2) 利用 SGX 的密封（sealing）和单调计数器，保证了状态的持久性和单调递增；(3) 在状态恢复时仅需少量通信轮次，避免了全量重新计算。实验评估在 Intel SGX 平台上进行，测试了多种云应用（如键值存储、机器学习推理），结果显示 NARRATOR 在状态保存与恢复操作中引入的延迟在毫秒级，性能开销远低于现有方案（如基于远程证明的恢复）。该工作为构建弹性、可迁移的 TEE 应用提供了实用基础，尤其适用于需要长期运行或跨节点迁移的云原生工作负载。

本文提出了一种面向无人机（UAV）控制的实时自托管计算机使用代理（RT-SHCUA）。现有的自托管计算机使用代理（SHCUA）设计用于交互式主机端工具使用，允许延迟的代理迭代，但直接应用于无人机控制存在结构不匹配：无人机控制涉及连续变化的物理状态、严格的时间约束、安全风险和可问责性。一个过时、未授权或被篡改的代理决策可能导致不安全或不可追溯的飞行行为。为此，作者对基于SHCUA的无人机控制进行了实时且面向安全的重构。核心思想是不让SHCUA直接发出飞行命令，而是将其输出转化为带有明确时序、状态、权限、回退和证据语义的契约约束型无人机技能调用。基于这一抽象，设计了一种将语义推理与机载执行及安全/安保实施分离的架构。慢速的云或边缘推理用于任务理解，而机载组件仅验证和分派及时、授权且状态一致的技能。安全关键的强制点可通过TEE式或微控制器隔离机制保护，无需将整个语言代理或高频飞行控制循环移入可信组件。原型评估表明，RT-SHCUA在保持有界任务级响应性的同时，支持降级处理、可信准入和可审计的证据保存，适用于SHCUA中介的无人机动作。

第三方LLM网关作为应用与外部LLM提供商之间的关键基础设施层，其功能远超简单的流量转发：它决定调用哪个提供商和模型、是否发生回退、交付哪个流、以及如何计费。由于这些决策和记录在运营商控制的服务内部生成，客户端无法独立区分诚实的中介与路由替换、隐藏回退、流篡改或伪造的溯源记录。本文提出了一种证据绑定的LLM网关架构，将运营商控制平面与受证明的执行平面分离。网关内部的受度量证明运行时（AGR）是唯一允许解密请求、执行路径策略、构造上游调用并签署证据的组件。客户端在将请求加密到绑定AGR度量的密钥之前，验证签名的发布元数据和新鲜证明。AGR强制执行请求级路由、回退和端点约束，调用被接受的提供商，返回加密的响应流，并签署绑定策略、选定路由、端点身份、流承诺和完成元数据到受证明运行时的证据。在AWS Nitro Enclave上的初步Rust原型表明，机制开销适中，并能对受证明运行时之外的策略、路由、端点和流证据篡改进行故障关闭检测。

该论文研究的是在 Intel SGX（Software Guard Extensions）飞地中，异常处理机制的安全性。SGX 是一种硬件隔离技术，允许应用程序在称为飞地的隔离区域中执行，保护代码和数据免受恶意操作系统的攻击。然而，异常（如除零、页错误等）是 CPU 产生的硬件事件，通常由操作系统（OS）处理，然后通过信号或异常处理接口传递给用户程序。在 SGX 环境下，飞地代码不信任 OS，但 OS 仍然负责处理硬件异常，并将其转交给飞地的异常处理器。这种设计引入了安全风险：恶意的 OS 可能操纵异常处理流程，破坏飞地的机密性和完整性。论文提出的 SmashEx 攻击利用了这一攻击面，通过精心构造的异常序列或异常处理中的漏洞，来泄露飞地内部数据或执行任意代码。实验表明，该攻击能够有效绕过 SGX 的隔离保护。该研究揭示了硬件辅助安全飞地在异常处理方面的根本性缺陷，对系统安全领域有重要影响。适合安全研究员、系统开发者以及关注可信执行环境的从业者阅读。