SAT-Aided Automatic Search of Boomerang Distinguishers for ARX Ciphers. ToSC 2023, 2023 (1), 152-191. https://doi.org/10.46586/tosc.v2023.i1.152-191.