[rwth-security] Windows Defender Antivirus can now run in a sandbox