Nils Sommer

According to our database, Nils Sommer authored at least 2 papers between 2010 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Concepts and Proofs for Configuring PKCS#11.

Sibylle B. Fröschle, Nils Sommer

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

2010

Reasoning with Past to Prove PKCS#11 Keys Secure.

Sibylle B. Fröschle, Nils Sommer

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010