Sat-aided automatic search of boomerang distinguishers for arx ciphers

HIGHLIGHTS

  • who: Dachao Wang and collaborators from the State Key Laboratory of Integrated Services Networks, Xidian University, Xi`an, China have published the article: SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers, in the Journal: (JOURNAL)
  • what: The authors explore the problem of computing this table for a modular addition and the automatic search of boomerang characteristics for ARX ciphers. The authors provide dynamic programming algorithms to efficiently compute this table and its variants. This work proposed the first practical algorithm, following the differential analysis of S-functions . Based on the new computations and . . .

     

    Logo ScioWire Beta black

    If you want to have access to all the content you need to log in!

    Thanks :)

    If you don't have an account, you can create one here.

     

Scroll to Top

Add A Knowledge Base Question !

+ = Verify Human or Spambot ?