Provable Security for Block Ciphers by Decorrelation.

Serge Vaudenay

Browse the full STACS paper archive.