该论文研究现代云平台中容器和虚拟机（VM）之间通过共享页面缓存（page cache）产生的微架构时序侧信道泄漏问题。云平台为提升性能，通常让租户共享主机硬件资源，同时通过软件隔离（如容器、gVisor、Kata Containers、QEMU/KVM等）保证安全。然而，当租户访问主机文件系统状态时，主机页面缓存仍可能被共享且可观测。论文将这种页面缓存通道归类为操作系统介导的微架构时序侧信道，其信号由处理器微架构、内存和存储层次结构以及虚拟化机制共同塑造。作者评估了多种隔离运行时环境：Docker（直接共享宿主内核）、gVisor（使用systrap和KVM）、Kata Containers（使用QEMU和Cloud Hypervisor，搭配共享主机文件系统或块设备后端存储）、以及QEMU/KVM虚拟机（多种主机缓存策略）。实验发现，只要I/O路径暴露了共享、可缓存的文件对象（包括OverlayFS层、virtio-fs导出、回环块设备），时序信号就会持续存在。相反，直接I/O和专用块设备可以显著减弱或消除该信号。因此，虚拟化通过增加延迟和算法噪声改变了泄漏形态，但并未消除对共享硬件和缓存状态的底层依赖。论文通过一个案例研究展示了实际影响：从基于MySQL的WordPress部署中恢复粗粒度的活动信息。这些结果将页面缓存攻击置于更广泛的OS介导微架构时序信道类别中，并激励对时序隔离的协调硬件、虚拟化和OS支持。

该论文研究了ECS（Elastic Container Service）的快速增长趋势及其伴随的安全考量。作者通过分析大规模数据，揭示了ECS使用量的激增模式，并识别了常见的配置错误、访问控制漏洞以及镜像安全问题。论文提出了一套评估框架，用于量化ECS环境中的暴露面，并通过实证数据证明了当前实践中的安全风险。主要贡献包括：对ECS增长趋势的纵向分析、常见安全问题的分类以及可操作的缓解建议。适合云安全工程师、DevSecOps团队及云服务提供商参考。

该论文提出 Bulkhead，一个自动化框架，用于检测和修复容器逃逸中的路径遍历（PaTra）漏洞。背景是容器生态系统中的文件系统隔离常因跨边界路径解析错误而削弱，导致路径遍历漏洞。这些漏洞源于不安全的主机-容器交互，尤其是在云系统将共享资源（如GPU、代理工作区）挂载到容器中以支持AI工作负载时，此类漏洞日益普遍。现有防御不足：内核级防护具有侵入性，可能破坏系统调用稳定性，因此未被Linux主线接受；检测方法依赖于静态规则匹配或手动代码审计，静态规则会标记路径相关函数但无法捕获确定主机-容器交互所需的语义，导致大量误报；手动审查需要领域专业知识，成本高、效率低、难以扩展。Bulkhead创新性地将大语言模型（LLM）与形式化方法相结合，实现语义漏洞发现与修复。该框架使用多智能体系统，通过从已知案例中泛化的多维知识模式来识别和修复PaTra漏洞。首先，应用高风险功能模式定位容器化代码中跨边界交互的入口点；然后，利用调用链模式以适当深度恢复相应的执行路径。检测管道根据应用场景和威胁模型分析这些调用链，识别跨边界交互中的缺失安全检查、TOCTOU竞态等漏洞，并生成概念验证（PoC）漏洞进行验证。这些PoC随后指导补丁生成。为确保修复正确性，补丁管道使用预定义的模型检查模板进行断言驱动验证。实验（论文中应有）证明Bulkhead能有效发现真实世界容器环境中的漏洞并生成可靠补丁。该工作适合容器安全研究人员、云平台开发者及对AI基础设施安全感兴趣的从业者阅读。

该论文提出了一种无需训练即可检测容器化微服务环境中异常行为的新方法 REPLICAWATCHER。传统的基于异常的入侵检测系统需要建立全面的行为基线，但在微服务等动态环境中，“正常”概念频繁变化，导致基线老化并逐渐失效，需要定期重新训练，这在安全应用场景中颇具挑战。REPLICAWATCHER 的核心洞察是：微服务中为容错或可扩展性而部署的副本（replicas）会执行类似任务并呈现相似行为模式。通过实时观察同一服务的多个容器实例的行为，任何偏离其对应副本的显著差异都可作为安全威胁的重要指标。该方法完全无需训练阶段，避免了基线更新和模型老化问题。实验评估表明，REPLICAWATCHER 对正常行为偏移具有鲁棒性，无需重新训练即可保持有效性。与最先进的基于训练的方法相比，其性能相当，平均精确率达 91.08%，召回率达 98.35%。该研究适用于安全运维工程师、微服务架构师及威胁检测研究人员，尤其适合动态变化环境下的异常检测场景。

随着云原生技术的快速普及，多租户环境中的机密容器部署需求日益迫切。然而，现有基于微虚拟机（microVM）架构的机密容器设计，虽然增强了容器间隔离，但其复杂的软件栈导致较高的启动延迟和资源开销，不适合短期容器工作负载。本文提出 Fasco，一种基于 ARM 机密计算架构（CCA）的轻量级机密容器运行时。Fasco 将每个容器直接实例化为独立的容器域（Container Realm），利用 CCA 的硬件强制隔离机制，确保容器内应用数据的机密性和完整性。此外，Fasco 引入专门系统域（System Realm）为容器域提供系统服务和资源管理。通过异常转发和共享缓冲区，Fasco 保证不同容器域之间的隔离。作者在 ARMv8 硬件上实现了 Fasco 原型并进行了性能评估，实验结果表明，Fasco 相比现有机密容器架构，显著降低了启动延迟和性能开销，同时保持了较小的可信计算基（TCB）。该工作为机密容器提供了一种更轻量、高效的实现方案，特别适用于函数计算、微服务等短期容器场景。

容器在云平台中广泛使用，但其隔离性弱是主要安全威胁。本文提出 RContainer，一种通过扩展 ARM 机密计算架构（CCA）硬件原语来保护容器免受不可信操作系统侵害、并实现容器间强隔离的新型安全容器架构。RContainer 引入一个微小的可信 mini-OS，与权限降低的操作系统并行运行，负责监控操作系统与容器之间的控制流。此外，RContainer 采用 shim 风格隔离机制，利用 Granule Protection Check（GPC）硬件机制在内核层为每个容器创建一个称为 conshim 的隔离物理地址空间。作者在 ARMv9-A 固定虚拟平台和 ARMv8 硬件 SoC 上实现了 RContainer，并进行了安全分析和性能评估。实验结果表明，RContainer 能在适度性能开销和极小的可信计算基（TCB）下显著增强容器安全性。

本文提出EBCC（Enclave-Backed Confidential Containers），一种兼容OCI（Open Container Initiative）的运行时架构，旨在将机密计算工作负载无缝集成到标准容器生命周期管理中。现有机密容器系统通常依赖虚拟机后端或特定TEE的执行基板，导致机密执行与常规OCI运行时生命周期分离，增加了部署和管理的复杂性。EBCC将REE（富执行环境）侧的锚点和TEE（可信执行环境）侧的机密阶段视为一个单一的容器化机密计算复合体，保留标准OCI生命周期操作（如创建、启动、停止、删除），并将TEE特定执行逻辑封装在后端适配器之后。它维护每个实例的持久状态和每个阶段的工件，用于请求处理、响应生成、日志记录和证据绑定。作者在Keystone TEE后端上实现了EBCC原型，并评估了其正确性、性能、内存占用和并发行为。结果显示，EBCC相比原生Keystone执行引入了额外延迟，主要来自生命周期中介、请求验证、EID分配、后端分发和工件持久化，但额外开销集中在主机端管理状态。跨TEE案例研究（SGX、TDX、OP-TEE）表明，相同的生命周期和阶段抽象可以映射到enclave风格、VM风格和嵌入式风格的TEE。这些结果表明EBCC能够使基于TEE的执行通过OCI风格的生命周期进行管理，而不会显著扩大受保护侧的TCB（可信计算基）。

本文研究了容器隔离中的去同步风险（Desynchronization Risks），即容器运行环境与宿主机之间在时间、状态或资源视图上出现不一致，可能导致安全隔离失效或性能降级。作者首先系统分析了容器运行时（如runc、crun）与宿主机内核、cgroup、namespace等机制之间的同步点，识别出三类典型去同步场景：时钟漂移导致的定时器失准、cgroup统计更新延迟引发的资源超限、以及namespace切换时的竞态条件。针对这些风险，提出了一套分层的缓解策略：在运行时层引入同步检查点，在内核层优化cgroup事件推送机制，并在应用层提供可选的同步代理库。实验基于Docker和Kata Containers环境，测试了CPU、内存、网络I/O等负载下的去同步概率与影响，结果表明所提方法能将高危去同步事件的概率降低至1%以下，性能开销控制在5%以内。该研究对于云原生环境下的安全运行时设计与容器加固具有重要参考价值。