Windows 10 update (v2004) has an issue with Sentinel HASP Runtime drivers.

I completed a new install of Win 10 Pro (v2004) on laptop.
v2004 is a May 2020 update that is being rolled out through Windows update.
I tried to install third-party software (current version) that includes HASP Sentinel Runtime drivers.
This resulted in BSOD and displayed the codes below.
Tried re-installing many times, but all resulted in BSOD and computer restarting:

Stop code: PAGE FAULT IN NONPAGED AREA
What failed: hardlock.sys



WORK AROUND:

1. Thales provided this workaround on 28Aug2020 with "Sentinel HASP/LDK Windows GUI Run-time Installer 8.13"
2. Thales Sentinel HASP driver version is 8.13.45217.60000.
3. Download from here:
4. After installing above, install the software you were trying to install before.
5. Success.