Formal Analysis of PKCS#11 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stéphanie Delaune, Steve Kremer, Graham Steel. Formal Analysis of PKCS#11. In Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, 23-25 June 2008. pages 331-344, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Stéphanie Delaune' in GoogleThis author has not been identified. Look up 'Steve Kremer' in GoogleThis author has not been identified. Look up 'Graham Steel' in Google

runs on WebDSL