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
Associate Fellow of The Higher Education Academy (AFHEA)
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
- COMP5005 Security Architectures & Cryptography
- COMP2006 Security Architectures & Cryptography
- COMP3011 Ethical Hacking
- COMP5003 Ethical Hacking
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
- 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.
- 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.
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.
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).
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.
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.