Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor.
Zhenyang DaiShuang LiuVilhelm SjöbergXupeng LiYu ChenWenhao WangYuekai JiaSean Noble AndersonLaila ElbeheiryShubham SondhiYu ZhangZhaozhong NiShoumeng YanRonghui GuZhengyu HePublished in: ASPLOS (2) (2024)
Keyphrases
- database
- platform independent
- hardware design
- website
- software development
- operating system
- software tools
- computer systems
- aspect oriented
- commercial software
- efficient implementation
- databases
- source code
- object oriented
- keywords
- web pages
- software maintenance
- software design
- search engine
- core components
- neural network
- software implementation
- real time