Provable Security of SP Networks With Partial Non-Linear Layers. ToSC 2021, 2021 (2), 353-388. https://doi.org/10.46586/tosc.v2021.i2.353-388.