Junfeng Yang Can Sar Paul Twohey Cristian Cadar Dawson R. Engler Automatically Generating Malicious Disks using Symbolic Execution. 243-257 2006 conf/sp/2006 IEEE Symposium on Security and Privacy http://doi.ieeecomputersociety.org/10.1109/SP.2006.7 db/conf/sp/sp2006.html#YangSTCE06