@misc{cryptoeprint:2013:853,
    author = {Alex Biryukov and Vesselin Velichkov},
    title = {Automatic Search for Differential Trails in ARX Ciphers (Extended Version)},
    howpublished = {Cryptology ePrint Archive, Report 2013/853},
    year = {2013},
    url = {https://eprint.iacr.org/2013/853},
}