Li, Muzhou, et al. “Revisiting the Extension of Matsui’s Algorithm 1 to Linear Hulls: Application to TinyJAMBU”. IACR Transactions on Symmetric Cryptology, vol. 2022, no. 2, June 2022, pp. 161-00, https://doi.org/10.46586/tosc.v2022.i2.161-200.