Nils Sommer

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

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