SAT based analysis of LTE stream cipher ZUC

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]

Authors

Frédéric Lafitte

This author has not been identified. Look up 'Frédéric Lafitte' in Google

Olivier Markowitch

This author has not been identified. Look up 'Olivier Markowitch' in Google

Dirk Van Heule

This author has not been identified. Look up 'Dirk Van Heule' in Google