Mr Muhammad Taimoor Khan

Dr Muhammad Taimoor Khan Director of Cyber Assurance Lab @ Internet of Things and Security Centre

Associate Professor in Cyber Security

Dr M Taimoor Khan is an Associate Professor in Cyber Security at the University of Greenwich, UK. There he founded the Cyber Assurance Lab in the Internet of Things and Security Research Centre. He is also member of an interdisciplinary Law, Emerging Tech and Science (LETS) Lab, UK.

He was awarded an MSc in Advanced Distributed Systems from the University of Leicester, UK in 2008 and PhD (Dr. techn.) in 2014 in Software Engineering from the Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Austria, both with distinction. He also holds master's in Computer Science from Islamia University, Bahawalpur, Pakistan (2001). Dr Khan was a Lecturer in Cyber Security at Surrey Center of Cyber Security, University of Surrey, UK during 2018 and 2019. Prior to that he was a postdoc at the MIT CSAIL, USA during 2014-2016 (jointly with QCRI) and at the Alpen-Adria University, Austria during 2016-2018.

His research has been recognised through winning awards in the most premier research venues including CICM 2012, WF-IoT 2016 and ICS-CSR 2019, to name a few. He is a member of ACM and IEEE. He is also member of European Association of Software Science and Technology (EASST). Furthermore, he is reviewer of the most premier cyber security research venues including ACM CCS, Asia CCS, NDSS and IEEE Security and Privacy, to name a few.

Computer science

Computer science and informatics

Responsibilities within the university
  • Director of Cyber Assurance Lab
  • Associate Professor in Cyber Security
  • Module Leader: COMP1549 Advanced Programming

Awards
  • Research Grants
    • EU Horizon 2020 RESCUER project (8M Euro), 2021-2024, UoG co.I. (489K Euro)
    • EU Horizon 2020 ENSURESEC project (10M Euro), 2020-2022, work package 5 leader, and UoG P.I. (489K Euro)
    • HEIF Lex ex Machine project, 2021-2021, UoG co-I. (19K GBP)
  • Research Awards
    • Best Paper Awards at ICS-CSR, WF-IoT and CICM
    • Doctoral scholarship from FWF, Austria in the frame of "Doctoral Program: Computational Mathematics"
    • Merit Scholarship for MSc at University of Leicester, UK

Research / Scholarly interests
  • His research interests are at the intersection of formal methods and cyber security, including design-time and run-time security of security of software.
  • His core expertise is in developing rigorous methods to protect software by-design and at run-time against known and hypothetical cyber threats.

Recent publications

Article

Khan, Taimoor and , Tomic, Ivana (2020), Securing industrial cyber-physical systems: A run-time multi-layer monitoring. Institute of Electrical and Electronics Engineers (IEEE). In: , , , . Institute of Electrical and Electronics Engineers (IEEE), IEEE Transactions on Industrial Informatics, 17 (9) . pp. 6251-6259 ISSN: 1551-3203 (Print), 1941-0050 (Online) (doi: https://doi.org/10.1109/TII.2020.3032968).

Giovanni, Liva , Khan, Muhammad Taimoor, Pinzger, Martin, Spegni, Francesco , Spalazzi, Luca (2019), Automatic repair of timestamp comparisons. IEEE. In: , , , . IEEE, IEEE Transactions on Software Engineering, 47 (11) . pp. 2369-2381 ISSN: 0098-5589 (Print), (doi: https://doi.org/10.1109/TSE.2019.2948351).

Khan, Muhammad Taimoor and , Shrobe, Howard (2019), Security of cyberphysical systems: Chaining induction and deduction. Institute of Electrical and Electronics Engineers (IEEE). In: , , , . Institute of Electrical and Electronics Engineers (IEEE), Computer, 52 . pp. 72-75 ISSN: 0018-9162 (Print), 1558-0814 (Online) (doi: https://doi.org/10.1109/MC.2019.2913138).

Liva, Giovanni , Khan, Muhammad Taimoor, Pinzger, Martin (2019), Semantics-driven extraction of timed automata from Java programs. Springer. In: , , , . Springer, Empirical Software Engineering, 24 (5) . pp. 3114-3150 ISSN: 1382-3256 (Print), 1573-7616 (Online) (doi: https://dx.doi.org/10.1007/s10664-019-09699-5).

Serpanos, Dimitrios , Khan, Muhammad Taimoor, Shrobe, Howard (2018), Designing safe and secure industrial control systems: A tutorial review. IEEE. In: , , , . IEEE, IEEE Design & Test, 35 (3) . pp. 73-88 ISSN: 2168-2356 (Print), 2168-2364 (Online) (doi: https://dx.doi.org/10.1109/MDAT.2018.2816943).

Khan, Muhammad Taimoor , Serpanos, Dimitrios, Shrobe, Howard (2017), ARMET: behavior-based secure and resilient industrial control systems. IEEE. In: , , , . IEEE, Proceedings of the IEEE, 106 (1) . pp. 129-143 ISSN: 0018-9219 (Print), 1558-2256 (Online) (doi: https://dx.doi.org/10.1109/JPROC.2017.2725642).

Conference proceedings

Khan, Muhammad Taimoor and , (2023), Challenges in modelling applications for safe and resilient digital twins. Institute of Electrical and Electronics Engineers (IEEE). In: 2022 IEEE International Smart Cities Conference (ISC2), , In: IEEE Conference organizers (ed.), 2022 IEEE International Smart Cities Conference (ISC2), Pafos, Cyprus. 26-29 Sept 2022. Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey (1st) . pp. 1-6 . ISBN: 9781665485616; 9781665485623ISSN: 2687-8860 (Print), 2687-8852 (Online) (doi: https://doi.org/10.1109/ISC255366.2022.9921921) NB Item availability restricted.

Khan, Muhammad Taimoor and , (2022), Towards practical and formal security risk analysis of IoT (Internet of Things) applications. Institute of Electrical and Electronics Engineers (IEEE). In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), , In: IEEE & ETFA Conference Organizers (ed.), 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey (1st) . pp. 1-4 . ISBN: 9781665499965; 9781665499972 (doi: https://doi.org/10.1109/ETFA52439.2022.9921511) NB Item availability restricted.

Mohsin, Ali , Aurangzeb, Sana, Aleem, Muhammad, Khan, Muhammad Taimoor (2022), On the performance and scalability of simulators for improving security and safety of smart cities. Institute of Electrical and Electronics Engineers (IEEE). In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), , In: IEEE & ETFA Conference Organizers (ed.), 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey (1st) . pp. 1-8 . ISBN: 9781665499965; 9781665499972 (doi: https://doi.org/10.1109/ETFA52439.2022.9921600) NB Item availability restricted.

Khan, Muhammad Taimoor , Serpanos, Dimitrios, Shrobe, Howard (2021), Towards scalable security of real-time applications: a formally certified approach. Institute of Electrical and Electronics Engineers (IEEE). In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), , In: IEEE Conference organizers (ed.), 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey (1st) . pp. 01-04 . ISBN: 9781728129907; 9781728129891 (doi: https://doi.org/10.1109/ETFA45728.2021.9613489) NB Item availability restricted.

Khan, Muhammad Taimoor , Serpanos, Dimitrios, Shrobe, Howard (2018), Highly assured safety and security of e-health applications. IEEE. In: 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), , , 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, . pp. 137-144 . ISBN: 9781538668764ISSN: 2160-4886 (Print), (doi: https://dx.doi.org/10.1109/WiMOB.2018.8589095).

Liva, Giovanni , Khan, Muhammad Taimoor, Spegni, Francesco, Spalazzi, Luca , Bollin, Andreas , Pinzger, Martin (2018), Modeling time in Java programs for automatic error detection. ACM. In: 40th International Conference on Software Engineering (ICSE) collocated FormlalSE, , , Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18. ACM, New York, USA . pp. 50-59 . ISBN: 9781450357180 (doi: http://dx.doi.org/10.1145/3193992.3193997).

Khan, Muhammad Taimoor , Serpanos, Dimitrios, Shrobe, Howard (2017), A rigorous and efficient run-time security monitor for real-time critical embedded system applications. IEEE. In: IEEE 3rd World Forum on Internet of Things (WF-IoT), , , 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, . pp. 100-105 . ISBN: 9781509041305 (doi: http://dx.doi.org/10.1109/WF-IoT.2016.7845510).

View all publications