Committing Security of Ascon: Cryptanalysis on Primitive and Proof on Mode. ToSC 2023, 2023 (4), 420-451. https://doi.org/10.46586/tosc.v2023.i4.420-451.