Nyberg, Kaisa, and Lars Ramkilde Knudsen. “Provable Security Against a Differential Attack”. DAIMI Report Series, vol. 23, no. 473, June 1994, doi:10.7146/dpb.v23i473.6946.