Verified Security of Merkle-Damgård - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Backes, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, Santiago Zanella Béguelin. Verified Security of Merkle-Damgård. In Stephen Chong, editor, 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012. pages 354-368, IEEE, 2012. [doi]

This author has not been identified. Look up 'Michael Backes' in GoogleThis author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Matthias Berg' in GoogleThis author has not been identified. Look up 'Benjamin Grégoire' in GoogleThis author has not been identified. Look up 'César Kunz' in GoogleThis author has not been identified. Look up 'Malte Skoruppa' in GoogleThis author has not been identified. Look up 'Santiago Zanella Béguelin' in Google

runs on WebDSL