Song, L., & Guo, J. (2018). Cube-Attack-Like Cryptanalysis of Round-Reduced Keccak Using MILP. IACR Transactions on Symmetric Cryptology, 2018(3), 182–214. https://doi.org/10.13154/tosc.v2018.i3.182-214