Automated security proofs with sequences of games (0)

by Bruno Blanchet, David Pointcheval
Venue:In CRYPTO’06, volume 4117 of Lecture