Design and Cryptanalysis of ZUC: A Stream Cipher in Mobile Telephony