here you goThings I’ve made, read and saved — shared here.

Automatically Generating Malicious Disks Using Symbolic Execution

Conference paperYang et al. 2006Cite as [@yangAutomaticallyGeneratingMalicious2006]

Yang, Junfeng, Can Sar, Paul Twohey, Cristian Cadar, and Dawson Engler. 2006. “Automatically Generating Malicious Disks Using Symbolic Execution.” In Proceedings of the IEEE Symposium on Security and Privacy, 243–257.

BibTeX
@inproceedings{yangAutomaticallyGeneratingMalicious2006,
  title = {Automatically {{Generating Malicious Disks}} Using {{Symbolic Execution}}},
  booktitle = {Proceedings of the {{IEEE Symposium}} on {{Security}} and {{Privacy}}},
  author = {Yang, Junfeng and Sar, Can and Twohey, Paul and Cadar, Cristian and Engler, Dawson},
  year = 2006,
  pages = {243--257}
}

Download