Tighter Trail Bounds for Xoodoo. (2023). IACR Transactions on Symmetric Cryptology, 2023(4), 187-214. https://doi.org/10.46586/tosc.v2023.i4.187-214