Automatically generating malicious disks using symbolic execution (0)

by J YANG, C SAR, P TWOHEY, C CADAR, D ENGLER
Venue:In SP ’06: Proceedings of the 2006 IEEE Symposium on Security and Privacy (2006