Correlation attacks on stream ciphers and related decoding problems | IEEE Conference Publication | IEEE Xplore