L. Song and J. Guo, “Cube-Attack-Like Cryptanalysis of Round-Reduced Keccak Using MILP”, ToSC, vol. 2018, no. 3, pp. 182–214, Sep. 2018.