Automatically Generating User-Specific Recovery Procedures After Malware Infections