Naito, Y.; Sasaki, Y.; Sugawara, T. Committing Security of Ascon: Cryptanalysis on Primitive and Proof on Mode. ToSC 2023, 2023, 420-451.