Countering Network Worms Through Automatic Patch Generation | Synapse