Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Backes, Matteo Maffei, Dominique Unruh. Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. In 2008 IEEE Symposium on Security and Privacy (S&P 2008), 18-21 May 2008, Oakland, California, USA. pages 202-215, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Michael Backes' in GoogleThis author has not been identified. Look up 'Matteo Maffei' in GoogleThis author has not been identified. Look up 'Dominique Unruh' in Google

runs on WebDSL