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