Publications

43 results for Confidential Computing

Towards a Formally Verified Security Monitor for VM-based Confidential Computing
- - Wojciech Ozga
  - Guerney Hunt
  - et al.
- 2023
- MICRO 2023
Easy-plane dominant stochastic magnetic tunnel junction with synthetic antiferromagnetic layers
- - Jonathan Z. Sun
  - Christopher Safranski
  - et al.
- 2023
- Physical Review B
AccShield: A New Trusted Execution Environment with Machine-Learning Accelerators
- - Wei Ren
  - William Kozlowski
  - et al.
- 2023
- DAC 2023
Wawel: Architecture for Scalable Attestation of Heterogeneous Virtual Execution Environments
- - Wojciech Ozga
  - Patricia Sagmeister
  - et al.
- 2023
- CLOUD 2023
Free the Turtles: Removing Nested Virtualization for Performance and Confidentiality in the Cloud
- - Mengmei Ye
  - Angelo Ruocco
  - et al.
- 2023
- CLOUD 2023
Zero Trust Hardware Architectures: when we “never trust”, what can we do to “always verify?”
- - Mengmei Ye
  - Sandhya Koteshwara
- 2022
- WISE 2022
Securely booting confidential VMs with encrypted disk
- - Dov Murik
  - Tobin Feldman-Fitzthum
- 2022
- LPC 2022
No More Turtles: The SecondaryVM Framework - An Alternative to Nested Virtualization
- - Mengmei Ye
  - Angelo Ruocco
- 2022
- KVM Forum 2022
Adding Fairness to Order: Preventing Front-Running Attacks in BFT Protocols using TEEs
- - Chrysoula Stathakopoulou
  - Signe Rüsch
  - et al.
- 2021
- SRDS 2021
Securing Linux VM boot with AMD SEV measurement
- - Dov Murik
  - Hubertus Franke
- 2021
- KVM Forum 2021