Dr Hafizul Asad
Contact details
About
Overview
Hafizul Asad holds a PhD (2016) in Electrical Engineering and MS (2008) in Aerospace Engineering from City, University of London and University of Belgrade Serbia respectively. He worked as research assistant at City, University of London (2015-2018) on the D3S project, where he investigated the benefits of diversity and defence in depth for security. He worked as a research fellow (2018-2019) at Cranfield University, where he worked on a Future System Simulator funded by Rolls Royce. He worked as a Lecturer in Cybersecurity at University of Plymouth from 2020-23. Currently, he is working as Lecturer in Dependability at City, University of London. His current research interests include, Formal Verification of hybrid systems and Verifiable Intrusion detection Systems for IT, IoT and IIoT systems.
He is a member of BCS and an associate fellow of HEA.
Qualifications
- PhD Electrical Engineering, City, University of London, United Kingdom, January 2012 - July 2016
- MS Aerospace Engineering, University of Belgrade, Serbia, February 2007 - September 2008
- BSc Electrical and Electronics Engineering, University of Engineering and Technology Peshawar, Pakistan, January 1999 - October 2003
Publications
Publications by category
Chapter
- Asad, H.U., Jones, K.D. and Surre, F. (2014). Verifying robust frequency domain properties of non linear oscillators using SMT. (pp. 306-309). IEEE.
Conference papers and proceedings (7)
- Arsal, M., Asad, H., Kamel, T. and Khan, A. Cyber-Safety Assessment of Wind Turbines: A Reachability Analysis Approach Against Cyber-Attacks. .doi:10.1007/978-3-032-02018-5_25
- Ibadulla, R. and Asad, H. PROTECTION: Provably Robust Intrusion Detection System for IoT Through Recursive Delegation. .doi:10.1007/978-3-032-02018-5_11
- Adhikari, S., Asad, H. and Jones, K. (2023). Enhancing IoT Security: Novel Mechanisms for Malware Detection using HPCs and Neural Networks. 2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) 1-3 November.doi:10.1109/trustcom60117.2023.00199
- Korek, W.T., Mendez, A., Asad, H.U., Li, W.-.C. and Lone, M. Understanding Human Behaviour in Flight Operation Using Eye-Tracking Technology. .doi:10.1007/978-3-030-49183-3_24
- Asad, H. and Gashi, I. Diversity in Open Source Intrusion Detection Systems. .doi:10.1007/978-3-319-99130-6_18
- ul Asad, H. and Jones, K.D. Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming. DAC '15: The 52nd Annual Design Automation Conference 2015.doi:10.1145/2744769.2744926
- Asad, H.U. and Jones, K.D. Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification. GLSVLSI '15: Great Lakes Symposium on VLSI 2015.doi:10.1145/2742060.2742072
Journal articles (5)
- Arsal, M., Kamel, T., Asad, H. and Khan, A. (2026). A Systematic Review of Cyber Risk Analysis Approaches for Wind Power Plants. Energies, 19(3). doi:10.3390/en19030677
- Korek, W.T., Beecroft, P., Lone, M., Bragado Aldana, E., Mendez, A., Enconniere, J.... Jenkins, D. (2024). Simulation framework and development of the Future Systems Simulator. The Aeronautical Journal, 128(1330), pp. 2754-2780. doi:10.1017/aer.2024.91
- Asad, H., Adhikari, S. and Gashi, I. (2024). A perspective–retrospective analysis of diversity in signature-based open-source network intrusion detection systems. International Journal of Information Security, 23(2), pp. 1331-1346. doi:10.1007/s10207-023-00794-9
- Asad, H. and Gashi, I. (2022). Dynamical analysis of diversity in rule-based open source network intrusion detection systems. Empirical Software Engineering, 27(1). doi:10.1007/s10664-021-10046-w
- Asad, H.U. 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