@inproceedings {187152,
	author = {Nuno Santos and Nuno P. Lopes},
	title = {Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines},
	booktitle = {10th Workshop on Hot Topics in System Dependability (HotDep 14)},
	year = {2014},
	address = {Broomfield, CO},
	url = {https://www.usenix.org/conference/hotdep14/workshop-program/presentation/santos},
	publisher = {USENIX Association},
	month = oct
}
