Provable security for block Ciphers by decorrelation
An experiment on DES statistical cryptanalysis