@misc{cryptoeprint:2016:409, author = {Alex Biryukov; Vesselin Velichkov; Yann Le Corre}, title = {Automatic Search for the Best Trails in ARX: Application to Block Cipher \textsc{Speck}}, howpublished = {Cryptology ePrint Archive, Report 2016/409}, year = {2016}, url = {https://eprint.iacr.org/2016/409}, }