View of SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers

Return to Article Details SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers Download Download PDF