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 Liqun Chen, Steve Kremer, Mark Dermot Ryan, editors, Formal Protocol Verification Applied, 14.10. - 19.10.2007. Volume 07421 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [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