“Provable Security of SP Networks with Partial Non-Linear Layers” (2021) IACR Transactions on Symmetric Cryptology, 2021(2), pp. 353–388. doi:10.46586/tosc.v2021.i2.353-388.