New models for the cryptanalysis of ASCON. - Mathieu Degré; Patrick Derbez; Lucie Lahaye; André Schrottenloher (Des. Codes Cryptogr., 2025)