Cryptology ePrint Archive: Report 2006/069
Available versions in chronological order
20060223:224312 (posted 23-Feb-2006 22:43:12 UTC)
Automated Security Proofs with Sequences of Games
Bruno Blanchet and David Pointcheval
20060227:091512 (posted 27-Feb-2006 09:15:12 UTC)
Automated Security Proofs with Sequences of Games
Bruno Blanchet and David Pointcheval
20060611:085657 (posted 11-Jun-2006 08:56:57 UTC)
Automated Security Proofs with Sequences of Games
Bruno Blanchet and David Pointcheval
Publication Info: A short version of this paper appears at CRYPTO'06. This is the full version.
[
Cryptology ePrint archive
]