Automatically Generating Malicious Disks using Symbolic Execution.

Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler

Browse the full SP paper archive.