V. Ruzhentsev and Y. Onishchenko, “Development of the approach to proving the security of block ciphers to impossible differential attack”, EEJET, vol. 4, no. 4 (88), pp. 28–33, Aug. 2017.