Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines
.
2014. Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines. 10th Workshop on Hot Topics in System Dependability (HotDep 14).