Good stream ciphers are hard to design | IEEE Conference Publication | IEEE Xplore