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