Nyberg, K.; Knudsen, L. R. Provable Security Against a Differential Attack. DPB 1994, 23.