Security Analysis of PKCS11

Experiments: Secure Configuration of PKCS11.

The security analysis technology that was developed following this research project is now available from the spin-off company Cryptosense.

These pages describe model checking experiments with formal models of key management APIs based on the RSA PKCS#11 standard.

About LSV