Automated Search Oriented to Key Recovery on Ciphers with Linear Key Schedule: Applications to Boomerangs in SKINNY and ForkSkinny. (2021). IACR Transactions on Symmetric Cryptology, 2021(2), 249-291. https://doi.org/10.46586/tosc.v2021.i2.249-291