Relating cryptography and formal methods: a panel - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Backes, Catherine Meadows, John C. Mitchell. Relating cryptography and formal methods: a panel. In Michael Backes, David A. Basin, editors, Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003. pages 61-66, ACM, 2003. [doi]

This author has not been identified. Look up 'Michael Backes' in GoogleThis author has not been identified. Look up 'Catherine Meadows' in GoogleThis author has not been identified. Look up 'John C. Mitchell' in Google

runs on WebDSL