Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin. Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs. In Chris Hawblitzel, Dale Miller, editors, Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. Volume 7679 of Lecture Notes in Computer Science, pages 7-8, Springer, 2012. [doi]

This author has not been identified. Look up 'Gilles Barthe' 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 'Yassine Lakhnech' in GoogleThis author has not been identified. Look up 'Santiago Zanella Béguelin' in Google

runs on WebDSL