Automatic search of impossible differentials and zero-correlation linear hulls for ARX ciphers | IEEE Journals & Magazine | IEEE Xplore