SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers - Wang, Dachao; Wang, Baocang; Sun, Siwei (IACR Transactions on Symmetric Cryptology, 2023)
Keywords: ARX; Automatic Search; Boomerang; SAT