Wenn da auch noch eine ISO zweifelhafter Herkunft anscheinend mit einem Bitcoinminer verseucht ist, dann würde ich auf jeden Fall formatieren.
Ich würd dennoch wenigstens die persönlichen Sachen von den heruntergeladenen Sachen (dazu gehört auch der Loader) trennen. Persönliche Sachen empfehle ich auf einer sauberen Festplatte, sauberen USB-Sticks mit Schreibschutz und/oder sauberen, nicht wiederbeschreibbaren Rohlingen aufzubewahren.
Ich würd dennoch wenigstens die persönlichen Sachen von den heruntergeladenen Sachen (dazu gehört auch der Loader) trennen. Persönliche Sachen empfehle ich auf einer sauberen Festplatte, sauberen USB-Sticks mit Schreibschutz und/oder sauberen, nicht wiederbeschreibbaren Rohlingen aufzubewahren.