Dr Hafizul Asad

Dr Hafizul Asad

Lecturer in Cyber Security

School of Engineering, Computing and Mathematics (Faculty of Science and Engineering)

I am currently a lecturer in cybersecurity.



  • PhD. (2016) in Electrical Engineering, City,University of London, UK
  • MS. (2008) in Aerospace Engineering, University of Belgrade, Serbia
  • BSc. (2004) in Electrical and Electronics Engineering, University of Engineering and Technology, Peshawar, Pakistan

Professional membership

Associate Fellow of The Higher Education Academy (AFHEA)

Teaching interests

I am Module leader for the following undergraduate and Master modules in year 2019/2020:

  • SEC205 Secure Systems Architectures and Mechanisms
  • SEC504 Secure Systems Architectures and Mechanisms
I will be Module leader for the following Undergraduate and Master modules in year 2020/2021:
  • COMP5005 Security Architectures & Cryptography
  • COMP2006 Security Architectures & Cryptography
  • COMP3011 Ethical Hacking
  • COMP5003 Ethical Hacking
I will be supervising final year projects.

Research interests

My research interests are:

  • Modelling and simulation of continuous and hybrid systems, 
  • Formal verification of hardware.
  • Qualitative analysis of diversity in Intrusion Detection Systems
  • Network Data Visualization
  • Intrusion Detection using Reinforcement Learning
  • Cyber-security in Aviation
  • Flight simulations technologies

Other research

Research Projects

  • I have developed techniques for hybrid system verification combining areas from computer science and control engineering. As part of EPSRC D3S project, I have worked on quantitative analysis of different defence tools installed in a defence-in-depth topology. Recently, as part of Rolls Royce “Silicon Bird” project at Cranfield University, I have contributed towards design and development of a Future Flight simulator being currently used for human behavior analysis and various risk events simulation. 

Future plans

  • Aiming to apply intrusion detection and recovery techniques to aircraft navigation systems to ensure it's safety against spoofing and jamming attacks.
  • Plan to analyse computer virus propagation in a network of computers and see it's correlation with the spread of infectious disease. 


Asad, H. and Jones, K.D., 2016. Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach. IEEE Design & Test, 33(5), pp.35-43.

DOI: 10.1109/MDAT.2016.2573588

Conference Papers

Korek, W.T., Mendez, A., Asad, H.U., Li, W.C. and Lone, M., 2020, July. Understanding Human Behaviour in Flight Operation Using Eye-Tracking Technology. In International Conference on Human-Computer Interaction (pp. 304-320). Springer, Cham.


Asad, H. and Gashi, I., 2018, September. Diversity in open source intrusion detection systems. In International Conference on Computer Safety, Reliability, and Security (pp. 267-281). Springer, Cham.


Asad, H. and Jones, K.D., 2015, June. Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming. In 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC) (pp. 1-6). IEEE.

DOI: 10.1145/2744769.2744926

Asad, H.U. and Jones, K.D., 2015, May. Inevitability of phase-locking in a charge pump phase lock loop using deductive verification. In Proceedings of the 25th edition on Great Lakes Symposium on VLSI (pp. 295-300).

DOI: 10.1145/2742060.2742072

Asad, H., Jones, K.D. and Surre, F., 2014, April. Verifying robust frequency domain properties of non linear oscillators using SMT. In 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (pp. 306-309). IEEE.

DOI: 10.1109/DDECS.2014.6868816

Asad, H., Lazic, D.V. and Shahid, W., 2010. FPGA based longitudinal and lateral controller implementation for a small UAV. International Journal of Aerospace and Mechanical Engineering, 4(10), pp.1088-1092.