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]
@inproceedings{LafitteMH13,
title = {SAT based analysis of LTE stream cipher ZUC},
author = {Frédéric Lafitte and Olivier Markowitch and Dirk Van Heule},
year = {2013},
doi = {10.1145/2523514.2523533},
url = {http://doi.acm.org/10.1145/2523514.2523533},
researchr = {https://researchr.org/publication/LafitteMH13},
cites = {0},
citedby = {0},
pages = {110-116},
booktitle = {The 6th International Conference on Security of Information and Networks, SIN '13, Aksaray, Turkey, November 26-28, 2013},
editor = {Atilla Elçi and Manoj Singh Gaur and Mehmet A. Orgun and Oleg B. Makarevich},
publisher = {ACM},
isbn = {978-1-4503-2498-4},
}