Towards a Formally Verified Security Monitor for VM-based Confidential Computing
- Wojciech Ozga
- Guerney Hunt
- et al.
- 2023
- MICRO 2023
Publications
Date
Featured collections
Popular topics
37 results for Confidential Computing
From Confidential Computing to Zero Trust, Come Along for the (Bumpy?) Ride
- Mengmei Ye
- Sandhya Koteshwara
- et al.
- 2024
- MICRO 2024
Free the Turtles: Removing Nested Virtualization for Performance and Confidentiality in the Cloud
- Mengmei Ye
- Angelo Ruocco
- et al.
- 2023
- CLOUD 2023
On Instantiating Unleveled Fully-Homomorphic Signatures from Falsifiable Assumptions
- Romain Gay
- Bogdan Ursu
- 2024
- PKC 2024
Securely booting confidential VMs with encrypted disk
- Dov Murik
- Tobin Feldman-Fitzthum
- 2022
- LPC 2022
Securing Linux VM boot with AMD SEV measurement
- Dov Murik
- Hubertus Franke
- 2021
- KVM Forum 2021
Confidential computing for OpenPOWER
- Guerney D. H. Hunt
- Ramachandra Pai
- et al.
- 2021
- EuroSys 2021
DeTA: Minimizing Data Leaks in Federated Learning via Decentralized and Trustworthy Aggregation
- Pau-Chen Cheng
- Kevin Eykholt
- et al.
- 2024
- EuroSys 2024
Adding Fairness to Order: Preventing Front-Running Attacks in BFT Protocols using TEEs
- Chrysoula Stathakopoulou
- Signe Rüsch
- et al.
- 2021
- SRDS 2021
TZ4Fabric: Executing Smart Contracts with ARM TrustZone : Experience Report)
- Christina Muller
- Marcus Brandenburger
- et al.
- 2020
- SRDS 2020