Browsing Theses (Master's and Ph.D) – Computer Engineering by Subject "SAT solver"

EMU I-REP

Browsing Theses (Master's and Ph.D) – Computer Engineering by Subject "SAT solver"

Sort by: Order: Results:

  • Analysis of the LTE Security Algorithm ZUC with SAT Solver 
    Ahmed, Ibrahim Awel (Eastern Mediterranean University EMU, 2015-02)
    Long Term Evolution (LTE) the 4th generation (4G) mobile broadband radio network is designed with special attention given to security. In order to secure the communication over the air radio network of LTE, three confidentiality ...