L. Qin, X. Dong, X. Wang, K. Jia, and Y. Liu, “Automated Search Oriented to Key Recovery on Ciphers with Linear Key Schedule: Applications to Boomerangs in SKINNY and ForkSkinny”, ToSC, vol. 2021, no. 2, pp. 249–291, Jun. 2021.