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

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