Revisiting related-key boomerang attacks on AES using computer-aided tool
scientific article; zbMATH DE number 7731539