Muxiang Zhang Agnes Hui Chan Maximum Correlation Analysis of Nonlinear S-boxes in Stream Ciphers. 501-514 2000 conf/crypto/2000 CRYPTO http://dx.doi.org/10.1007/3-540-44598-6_31 db/conf/crypto/crypto2000.html#ZhangC00