APDU-Level Attacks in PKCS#11 Devices
formal security analysis of pkcs # 11 and proprietary extensions .