Accelerating the Search of Differential and Linear Characteristics with the SAT Method - Sun, Ling; Wang, Wei; Wang, Meiqin (IACR Transactions on Symmetric Cryptology, 2021)
Keywords: Automatic search; Differential cryptanalysis; Linear cryptanalysis; Matsui’s bounding condition; SAT method