Nyberg, K. and Knudsen, L.R. 1994. Provable Security Against a Differential Attack. DAIMI Report Series. 23, 473 (Jun. 1994). DOI:https://doi.org/10.7146/dpb.v23i473.6946.