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