Muhammad Taimoor Khan, Dr.

Muhammad Taimoor Khan

Senior Lecturer in Cyber Security
Head of Cyber Assurance Lab
Internet of Things and Security Research Centre
School of Computing and Mathematical Sciences
University of Greenwich
Old Royal Naval College
London, UK
SE10 9LS

E-mail: m.khan [AT_DOMAIN] gre [DOT] ac [DOT] uk
Phone: +44 (0)20 8331 8522
Office: QM408 (Queen Marry)

View Muhammad Taimoor Khan’s publications on DBLP View Muhammad Taimoor Khan's publications on Google Scholar

I am a Senior Lecturer in Cyber Security at the University of Greenwich, UK. There I have founded the Cyber Assurance Lab in Internet of Things and Security Research Centre. I am also member of an interdisciplinary Law, Emerging Tech and Science (LETS) Lab, UK. I have 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. I was a Lecturer in Cyber Security at Surrey Center of Cyber Security, University of Surrey, UK during 2018 and 2019. Prior to that I was a Postdoc at the MIT CSAIL, USA (jointly with QCRI) during 2014-2016 and in SERG Group at the Alpen-Adria University, Austria during 2016-2018. My research has been recognised through (i) winning awards in the most premier research venues including CICM 2012, WF-IoT 2016 and ICS-CSR 2019, to name a few and (ii) winning and being part of mega research grants by distinguished international and regional funding agencies including H2020, HFRI, FWF and NSF/DARPA, to name a few. I am a member of ACM and IEEE.

My research interests are in:

  • software security
  • program analysis
  • attack modelling
  • security-by-design
I am always looking for doctoral, post-graduate and under-graduate students with strong technical and research skills to work with me. If you are interested, please see list of under-graduate projects or drop me an email.

Recent News

Jun 2022

Final review of our flagship H2020 project ENSURESEC is scheduled on June 28, 2022.

Our paper On the Performance and Scalability of Simulators for Improving Security and Safety of Smart-City has been accepted in ETFA 2022.

May 2022

Our flagship H2020 project ENSURESEC has successfully concluded.

Feb 2022

I am excited and honoured to join PC member of 24th Workshop on Formal Techniques for Java-like Programs (FTfJP).

Jan 2022

I am co-organizing (jointly with MIT CSAIL, USA and AI Chip Design Centre, Japan) a special session on Model-based/Data-driven Safety, Security and Privacy in Society 5.0 in ETFA 2022.

... see all News