@inproceedings {yang:malicious-disk:oakland06,
        author = {Junfeng Yang and Can Sar and Paul Twohey and Cristian Cadar and Dawson Engler},
        title = {Automatically Generating Malicious Disks using Symbolic Execution},
        year = {2006},
        month = {May},
        booktitle = {Proceedings of the 2006 IEEE Symposium on Security and Privacy (S\&P '06)},
        pages  = {243--257},
}