Li, M. et al. 2022. Revisiting the Extension of Matsui’s Algorithm 1 to Linear Hulls: Application to TinyJAMBU. IACR Transactions on Symmetric Cryptology. 2022, 2 (Jun. 2022), 161–200. DOI:https://doi.org/10.46586/tosc.v2022.i2.161-200.