Qin, Lingyue, Xiaoyang Dong, Xiaoyun Wang, Keting Jia, and Yunwen Liu. 2021. “Automated Search Oriented to Key Recovery on Ciphers With Linear Key Schedule: Applications to Boomerangs in SKINNY and ForkSkinny”. IACR Transactions on Symmetric Cryptology 2021 (2):249-91. https://doi.org/10.46586/tosc.v2021.i2.249-291.