paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Sharing is leaking: blocking transient-execution attacks with core-gapped confidential VMs

共享即泄露:利用核心隔离的机密虚拟机阻断瞬态执行攻击
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 42024匹配度 0/10 · 论文聚焦机密虚拟机与瞬态执行侧信道缓解,属于系统安全/体系结构方向,与用户关注的程序语言、静态分析、LLM/Agent、浮点程序分析与贝叶斯程序分析均无直接交集。引用 7 inbox
Charly Castes, Andrew Baumann
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出核心隔离的机密虚拟机,通过纯软件修改让互不信任代码不共享物理核,从而消除同核侧信道和瞬态执行漏洞。

机密虚拟机(Intel TDX、AMD SEV、Arm CCA)承诺抵御 hypervisor 级攻击者,但反复出现的瞬态执行漏洞和 CPU bug 使其失效。根源是需在互不信任实体间多路复用 CPU 核及其复杂微架构状态,且由不可信 hypervisor 控制多路复用。本文提出 core-gapped 机密虚拟机:纯软件修改,确保互不信任代码不共享同一个核,从而从 guest TCB 中移除同核侧信道和瞬态执行漏洞。作者构建 Arm 原型并评估性能,显示 core-gapping 性能可与非机密虚拟机竞争,且避免共享核带来的更好局部性甚至能提升 CPU 密集型负载性能。

问题
机密虚拟机在 hypervisor 级攻击者和瞬态执行漏洞下的安全承诺,因不可信 hypervisor 控制 CPU 核多路复用而失效。
方法
提出 core-gapped 机密虚拟机,通过一组纯软件修改保证互不信任的代码不共享同一个物理核,从而消除同核侧信道和瞬态执行攻击面。
评估
在 Arm 平台上实现原型,并与非机密虚拟机进行性能对比;结果表明 core-gapping 具有竞争力,CPU 密集型负载甚至因更好的局部性而性能提升。
原文摘要(Abstract)

Confidential VMs on platforms such as Intel TDX, AMD SEV and Arm CCA promise greater security for cloud users against even a hypervisor-level attacker, but this promise has been shattered by repeated transient-execution vulnerabilities and CPU bugs. At the root of this problem lies the need to multiplex CPU cores with all their complex microarchitectural state among distrusting entities, with an untrusted hypervisor in control of the multiplexing. We propose core-gapped confidential VMs, a set of software-only modifications that ensure that no distrusting code shares a core, thus removing all same-core side-channels and transient-execution vulnerabilities from the guest's TCB. We present an Arm-based prototype along with a performance evaluation showing that, not only does core-gapping offer performance competitive with non-confidential VMs, the greater locality achieved by avoiding shared cores can even improve performance for CPU-intensive workloads.

链接与引用

DOI 原文 · PDF(开放获取) · DBLP

BibTeX
@inproceedings{CastesB24,
  title = {Sharing is leaking: blocking transient-execution attacks with core-gapped confidential VMs},
  author = {Charly Castes and Andrew Baumann},
  booktitle = {ASPLOS},
  year = {2024},
  doi = {10.1145/3622781.3674190}
}