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