Automated Security Proofs with Sequences of Games.

Bruno Blanchet, David Pointcheval

Browse the full CRYPTO paper archive.