Return to Article Details Accelerating the Search of Differential and Linear Characteristics with the SAT Method Download Download PDF