Verifying Memory Confidentiality and Integrity of Intel TDX Trusted Execution Environments.
Hasini WitharanaDebapriya ChatterjeePrabhat MishraPublished in: HOST (2024)
Keyphrases
- trusted computing
- memory management
- data confidentiality
- distributed shared memory
- computing environments
- highly dynamic environments
- memory hierarchy
- resource consumption
- dynamic environments
- memory requirements
- model checking
- access control
- integrity constraints
- robotic systems
- database
- computational power
- data security
- computing power
- computer architecture
- virtual organization
- information security
- main memory
- mobile robot
- real world