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