Analysis of the LTE Security Algorithm ZUC with SAT Solver
Ibrahim Awel Ahmed · Eastern Mediterranean University Institutional Repository (Eastern Mediterranean University) · 2015
Master of Science in Computer Engineering. Thesis (M.S.)--Eastern Mediterranean University, Faculty of Engineering, Dept. of Computer Engineering, 2015. Supervisor: Assoc. Prof. Dr. Alexander Chefranov.