On Safenet HSM key-extraction vulnerability CVE-2015-5464 (part I) (randomoracle.wordpress.com)