Automatic search for differential characteristics in ARX ciphers | IEEE Conference Publication | IEEE Xplore