Mr Muhammad Taimoor Khan

Dr Muhammad Taimoor Khan Head of Cyber Assurance Lab (ISEC Research Group)

Senior Lecturer in Cyber Security

Dr. M. Taimoor Khan is a Senior Lecturer in Cyber Security at the University of Greenwich, UK, where he is member of Internet of Things and Security Research Group and leading the application of formal methods to assure software security. He has received a 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 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.

Responsibilities within the university

  • Head of Cyber Assurance Lab
  • Senior Lecturer in Cyber Security
  • Module Leader 2019/2020/2021
  • COMP1547 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 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 , 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 '1. 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).