Song, Ling, and Jian Guo. “Cube-Attack-Like Cryptanalysis of Round-Reduced Keccak Using MILP”. IACR Transactions on Symmetric Cryptology, vol. 2018, no. 3, Sept. 2018, pp. 182-14, https://doi.org/10.13154/tosc.v2018.i3.182-214.