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. Inf. Sec. Techn. Report, 22:54-65, 2015. [doi]

Abstract

Abstract is missing.