@inproceedings {Cardinal2014,
	author = {H. Shi and A. Alwabel and  and J. Mirkovic},
	title = {{Cardinal Pill Testing of System Virtual Machines}},
	booktitle = {Proceedings of the USENIX Security Symposium},
	year = {2014},
}