- Korek, W.T., Beecroft, P., Lone, M., Aldana, E.B., Mendez, A., Ecconiere, J. … Jenkins, D. (2024). Simulation Framework and Development of the Future Systems Simulator. Aeronautical Journal.
- 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.
Contact details
Address
Northampton Square
London EC1V 0HB
United Kingdom
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, Jan 2012 – Jul 2016
- MS Aerospace Engineering, University of Belgrade, Serbia, Feb 2007 – Sep 2008
- BSc Electrical and Electronics Engineering, University of Engineering and Technology Peshawar, Pakistan, Jan 1999 – Oct 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 (5)
- 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. (2020). Understanding Human Behaviour in Flight Operation Using Eye-Tracking Technology. doi:10.1007/978-3-030-49183-3_24
- Asad, H. and Gashi, I. (2018). Diversity in Open Source Intrusion Detection Systems. doi:10.1007/978-3-319-99130-6_18
- Asad, H.U. and Jones, K.D. (2015). 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
- ul Asad, H. and Jones, K.D. (2015). 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