Automatic Verification of Differential Characteristics: Application to Reduced Gimli.

Fukang Liu, Takanori Isobe, Willi Meier

Browse the full CRYPTO paper archive.