Reasoning with Past to Prove PKCS#11 Keys Secure. - Sibylle B. Fröschle; Nils Sommer (Formal Aspects in Security and Trust, 2010)

Concepts and Proofs for Configuring PKCS#11. - Sibylle B. Fröschle; Nils Sommer (Formal Aspects in Security and Trust, 2011)