“Committing Security of Ascon: Cryptanalysis on Primitive and Proof on Mode” (2023) IACR Transactions on Symmetric Cryptology, 2023(4), pp. 420–451. doi:10.46586/tosc.v2023.i4.420-451.