C. Guo, F.-X. Standaert, W. Wang, X. Wang, and Y. Yu, “Provable Security of SP Networks with Partial Non-Linear Layers”, ToSC, vol. 2021, no. 2, pp. 353–388, Jun. 2021.