2021. Accelerating the Search of Differential and Linear Characteristics with the SAT Method. IACR Transactions on Symmetric Cryptology. 2021, 1 (Mar. 2021), 269–315. DOI:https://doi.org/10.46586/tosc.v2021.i1.269-315.