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