Frédéric Lafitte Olivier Markowitch Dirk Van Heule SAT based analysis of LTE stream cipher ZUC. 110-116 2013 SIN https://doi.org/10.1145/2523514.2523533 conf/sin/2013 db/conf/sin/sin2013.html#LafitteMH13