[rwth-security] CVE-2025-21210 aka CrashXTS: a practical randomization attack against BitLocker