“Provable Security of SP Networks with Partial Non-Linear Layers”, ToSC, vol. 2021, no. 2, pp. 353–388, Jun. 2021, doi: 10.46586/tosc.v2021.i2.353-388.