USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines
Submitted by michele on September 5, 2014 - 7:21 pm
Title | Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | Santos N, Lopes NP |
Conference Name | 10th Workshop on Hot Topics in System Dependability (HotDep 14) |
Date Published | 10/2014 |
Publisher | USENIX Association |
Conference Location | Broomfield, CO |
URL | https://www.usenix.org/conference/hotdep14/workshop-program/presentation/santos |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX