Automatically generating malicious disks using symbolic execution (2006)

by Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson Engler
Venue:In Proceedings of the IEEE Symposium on Security and Privacy