Zhi-guo Chen, Stafford E. Tavares. Toward Provable Security of Substitution-Permutation Encryption Networks. In Stafford E. Tavares, Henk Meijer, editors, Selected Areas in Cryptography 98, SAC 98, Kingston, Ontario, Canada, August 17-18, 1998, Proceedings. Volume 1556 of Lecture Notes in Computer Science, pages 43-56, Springer, 1998. [doi]