Documents Cours Automated Security Proofs with Sequences of Games Bruno Blanchet And David Pointcheval Cnrs, Département D'Informatique, Ecole Normale Supérieure