hukaisdu / ascon_cube_distinguishers

// ********************************************************************************
   This is the repository for the verification of cube distinguishers as given in 
   Section 7 of our paper "Misuse-Free Key-Recovery and Distinguishing Attacks 
   on 7-Round Ascon" accepted at IACR Transactions on Symmetric Cryptology (ToSC)
   Volume 2021, Issue I.   

   Contents:
   -- C code (taken from https://ascon.iaik.tugraz.at/resources.html) for verification 
      of distinguishers
   -- Ascon Sage code
   -- Division property models containing:
      1) Ascon Sbox modeling
      2) Ascon r-round model to compute the degree upper bound when N_0 = N_1
   -- Individual readme files are given in the corresponding folders
// *******************************************************************************