SAT based analysis of LTE stream cipher ZUC

Computer Science

• Stream Cipher 100%
• linear-feedback shift register 100%
• Mobile Network 50%
• Mobile Security 50%
• Initial Value 50%
• Long Term Evolution 50%
• Cryptographic Primitive 50%
• Output Function 50%
• Paramount Importance 50%

Engineering

• Shift Register 100%
• Paramount Importance 50%
• Radio Network 50%
• Initial State 50%
• Long Term Evolution 50%
• Output Function 50%
• Initial Value 50%