@article{yang:malicious,
	author = {Yang, Junfeng   and Sar, Can   and Twohey, Paul   and Cadar, Cristian   and Engler, Dawson  },
	booktitle = {IEEE Security and Privacy},
	title = {Automatically generating malicious disks using symbolic execution},
	url = {http://www.stanford.edu/~engler/sp-ieee-06.pdf},
	year = {2006}
}