Cube-Attack-Like Cryptanalysis of Round-Reduced Keccak Using MILP. ToSC. 2018;2018(3):182-214. doi:10.13154/tosc.v2018.i3.182-214