Formal Foundations for Intel SGX Data Center Attestation Primitives.
Muhammad Usama SardarRasha FaqehChristof FetzerPublished in: ICFEM (2020)
Keyphrases
- data center
- cloud computing
- energy efficiency
- cost effective
- virtual machine
- power consumption
- trusted computing
- computing platform
- energy consumption
- power management
- multi tenant
- business continuity
- carbon dioxide
- mission critical
- computing resources
- sensor networks
- electrical energy
- smarter planet
- power system
- low cost