Provable security for block Ciphers by decorrelation
MMH: Software Message Authentication in the Gbit/second Rates