Paper 2021/1103

Exploring Differential-Based Distinguishers and Forgeries for ASCON

David Gerault, Thomas Peyrin, and Quan Quan Tan


Automated methods have become crucial components when searching for distinguishers against symmetric-key cryptographic primitives. While MILP and SAT solvers are among the most popular tools to model ciphers and perform cryptanalysis, other methods with different performance profiles are appearing. In this article, we explore the use of Constraint Programming (CP) for differential cryptanalysis on the ASCON authenticated encryption family (first choice of the CAESAR lightweight applications portfolio and current finalist of the NIST LWC competition) and its internal permutation. We first present a search methodology for finding differential characteristics for ASCON with CP, which can easily find the best differential characteristics already reported by the ASCON designers. This shows the capability of CP in generating easily good differential results compared to dedicated search heuristics. Based on our tool, we also parametrize the search strategies in CP to generate other differential characteristics with the goal of forming limited-birthday distinguishers for 4, 5, 6 and 7 rounds and rectangle attacks for 4 and 5 rounds of the ASCON internal permutation. We propose a categorization of the distinguishers into black-box and non-black-box to better differentiate them as they are often useful in different contexts. We also obtained limited-birthday distinguishers which represent currently the best known distinguishers for 4, 5 and 6 rounds under the category of non-black-box distinguishers. Leveraging again our tool, we have generated forgery attacks against both reduced-rounds ASCON-128 and ASCON-128a, improving over the best reported results at the time of writing. Finally, using the best differential characteristic we have found for 2 rounds, we could also improve a recent attack on round-reduced ASCON-Hash.

Available format(s)
Publication info
Published by the IACR in FSE 2021
Differential CryptanalysisASCONConstraint ProgrammingRectangle AttacksLimited-birthdayForgery
Contact author(s)
dagerault @ gmail com
thomas peyrin @ ntu edu sg
quanquan001 @ e ntu edu sg
2021-08-31: received
Short URL
Creative Commons Attribution


      author = {David Gerault and Thomas Peyrin and Quan Quan Tan},
      title = {Exploring Differential-Based Distinguishers and Forgeries for ASCON},
      howpublished = {Cryptology ePrint Archive, Paper 2021/1103},
      year = {2021},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.