Frédéric Lafitte, Olivier Markowitch, Dirk Van Heule. SAT based analysis of LTE stream cipher ZUC. In Atilla Elçi, Manoj Singh Gaur, Mehmet A. Orgun, Oleg B. Makarevich, editors, The 6th International Conference on Security of Information and Networks, SIN '13, Aksaray, Turkey, November 26-28, 2013. pages 110-116, ACM, 2013. [doi]
Abstract is missing.