Minimal backups of cryptographic protocol runs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jay A. McCarthy, Shriram Krishnamurthi. Minimal backups of cryptographic protocol runs. In Vitaly Shmatikov, editor, Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008. pages 11-20, ACM, 2008. [doi]

This author has not been identified. Look up 'Jay A. McCarthy' in GoogleIdentified as Shriram Krishnamurthi

runs on WebDSL