Reducing overdefined systems of polynomial equations derived from small scale variants of the AES via data mining methods. - Jana Berusková; Martin Jurecek; Olha Jurecková (J. Comput. Virol. Hacking Tech., 2024)