Thanks for quick response, but the suggestion did not solve the problem:
The run-time installer for 7.51 crashes with BSOD and Windows 10 automatically restarts. After rebooting to safe mode,the registry entry was checked and it does have an entry for iaStorA.sys, but the value string was just "11.5.0.1207". This was modified to match the string you specified, but not sure if there actually is a version of Intel iaStorA.sys numbered 4.2.0.1136 (...should it be 14.2...?)
Other observations:
1. After installing 7.51, the Runtime environment ("Sentinel Runtime") does not show up in the list of installed programs (since the installation did not complete), but the service shows up in the Services applet as "Sentinel LDK License Manager". If try to start the service, the computer crash with BSOD again.
2. If uninstall the run-time environment, and then connect a SafeNet USB key, the computer also crash with BSOD (i.e. the USB drivers v7.51 used by "plug & play" by themselves also cause this.) In order to use the computer, the service: Sentinel LDK License manager had to be set to Manual mode to prevent it from starting automatically.