SAT based analysis of LTE stream cipher ZUC.

Frdric Lafitte, Olivier Markowitch, Dirk Van Heule

Browse the full SIN paper archive.