The SAT-Based Automatic Searching and Experimental Verification for Differential Characteristics with Application to Midori64.

Published in: IACR Cryptol. ePrint Arch. (2022)

Keyphrases