New Models for the Cryptanalysis of ASCON

ePrint Report: New Models for the Cryptanalysis of ASCON

Mathieu Degré, Patrick Derbez, Lucie Lahaye, André Schrottenloher

This paper focuses on the cryptanalysis of the ASCON family using automatic tools. We analyze two different problems with the goal to obtain new modelings, both simpler and less computationally heavy than previous works (all our models require only a small amount of code and run on regular desktop computers).


The first problem is the search for Meet-in-the-middle attacks on reduced-round ASCON-Hash. Starting …

ascon automatic cryptanalysis eprint report family goal problems report tools