Die einfache Antwort lautet: Wenn Sie das Laufwerk formatieren und vorhandene Partitionen löschen und neu erstellen, wird der betreffende Virus entfernt.
Beachten Sie jedoch, dass ein Rootkit auf Ihrer Festplatte dadurch nicht behoben wird, wenn Sie sich um Rootkits Sorgen machen.
Sie erwähnen, dass die Daten "vollständig und dauerhaft entfernt" wurden. Das ist ziemlich stark Für einen Sicherheitsbeauftragten bedeutet diese Aussage, dass ein DOD-Löschvorgang des Laufwerks durchgeführt wird. Das ist mit DBAN möglich, würde aber sehr lange dauern und für Ihren Fall wahrscheinlich übertrieben sein.