Automated Security Proofs with Sequences of Games - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bruno Blanchet, David Pointcheval. Automated Security Proofs with Sequences of Games. In Cynthia Dwork, editor, Advances in Cryptology - CRYPTO 2006, 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006, Proceedings. Volume 4117 of Lecture Notes in Computer Science, pages 537-554, Springer, 2006. [doi]

This author has not been identified. Look up 'Bruno Blanchet' in GoogleThis author has not been identified. Look up 'David Pointcheval' in Google

runs on WebDSL