Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Sharing is leaking: blocking transient-execution attacks with core-gapped confidential VMs
 
conference paper

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

Castes, Charly  
•
Baumann, Andrew
April 27, 2024
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS '24: 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4

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.

  • Details
  • Metrics
Type
conference paper
DOI
10.1145/3622781.3674190
Author(s)
Castes, Charly  

École Polytechnique Fédérale de Lausanne

Baumann, Andrew

Google, Zurich, Switzerland

Date Issued

2024-04-27

Publisher

ACM

Publisher place

New York, NY, USA

Published in
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
DOI of the book
10.1145/3622781
ISBN of the book

979-8-4007-0391-1

Book part number

Volume 4

Start page

267

End page

281

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
DCSL  
Event nameEvent acronymEvent placeEvent date
ASPLOS '24: 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4

ASPLOS '24

San Diego, CA, USA

2024-04-27 - 2024-05-01

Available on Infoscience
April 14, 2025
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/249157
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés