Ce projet contient le code pour l'article 'New Models for the Cryptanalysis of ASCON' qui présente de nouveaux modèles pour l'analyse de la sécurité de l'algorithme de chiffrement ASCON. Il s'agit d'une recherche en cryptographie symétrique.