Automatic Search of Meet-in-the-Middle Differential Fault Analysis on AES-like Ciphers. TCHES. 2023;2023(4):1-31. doi:10.46586/tches.v2023.i4.1-31