Automatic tools such as Mixed-Integer-Linear-Programming (MILP) and SAT have been used to improve the cube key-recovery attack against Keccak-based constructions and MITM preimage attacks against AES-like hash functions, and SHA-2.
[SGSL18] Ling Song, Jian Guo, Danping Shi, San Ling: New MILP Modeling: Improved Conditional Cube Attacks on Keccak-Based Constructions. ASIACRYPT (2) 2018: 65-95
[SG18] Ling Song, Jian Guo: Cube-Attack-Like Cryptanalysis of Round-Reduced Keccak Using MILP. IACR Trans. Symmetric Cryptol. 2018(3): 182-214 (2018)
[BDG+21] Zhenzhen Bao, Xiaoyang Dong, Jian Guo, Zheng Li, Danping Shi, Siwei Sun, Xiaoyun Wang: Automatic Search of Meet-in-the-Middle Preimage Attacks on AES-like Hashing. EUROCRYPT 2021
[BGST22] Z. Bao, J. Guo, D. Shi, Y. Tu: Superposition Meet-in-the-Middle Attacks: Updates on Fundamental Security of AES-like Hashing, CRYPTO 2022
[GLST22] J. Guo, G. Liu, L. Song, Y. Tu: Exploring SAT for Cryptanalysis: (Quantum) Collision Attacks against 6-Round SHA-3, ASIACRYPT 2022
[LHC+24] H. Li, L. He, S. Chen, J. Guo, W. Qiu: Automatic Preimage Attack Framework on Ascon Using a Linearize-and-Guess Approach, FSE 2024/ToSC 2023 Issue 3
[DGL+24] X. Dong, J. Guo, S. Li, P. Pham, T. Zhang: Improved Meet-in-the-Middle Nostradamus Attacks on AES-like Hashing , FSE 2024/ToSC 2024 Issue 1
[CGL+24] S. Chen, J. Guo, E. List, D. Shi, T. Zhang: Diving Deep into the Preimage Security of AES-like Hashing, EUROCRYPT 2024
[CDGT25] S. Chen, X. Dong, J. Guo, T. Zhang: Chosen-Prefix Collisions on AES-like Hashing , FSE 2025/ToSC 2024 Issue 4
[CGL+25] S. Chen, J. Guo, E. List, D. Shi, T. Zhang: Scrutinizing the Security of AES-based Hashing and One-way Functions, ASIACRYPT 2025
[DGLP26] X. Dong, J. Guo, S. Li, P. Pham: Chosen-Key Distinguishing Attacks on Full AES-192, AES-256, Kiasu-BC, and More, FSE 2026/ ToSC 2025 Issue 3
[GLL+26] J. Guo, H. Li, M. Liu, S. Wang, T. Zhang: Dual-Syncopation Meet-in-the-Middle Attacks: New Results on SHA-2 and MD5, EUROCRYPT 2026