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