Muhammad Taimoor Khan, Dr.
Senior Lecturer in Cyber Security
Internet of Things and Security Research Group
University of Greenwich
Old Royal Naval College
London, UK
SE10 9LS
E-mail: m.khan [ATDomain] gre [dot] ac [dot] uk
Phone: +44 (0)20 8331 8522
Office: QM408 (Queen Marry)
I am a Senior Lecturer in Cyber Security at the University of Greenwich, UK. There I am leading the formal methods efforts in Internet of Things and Security Research Group. 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 at the Alpen-Adria University, Austria during 2016-2018. My 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. I am a member of ACM and IEEE.
My research interests are in:
- software security
- program analysis
- attack modelling
- security-by-design
News
February 2020I am organizing a special session on security of real-time CPS in 25th International Conference on Emerging Technologies and Factory Automation (ETFA) 2020. Please consider to submit your work.
January 2020Our mega H2020 research grant ENSURESEC of approx. 10 Mio EURO has been accepted for funding. I am PI of the project. Further details, see here.
November 2019Our paper Automatic Repair of Timestamp Comparisons has been accepted for publication in IEEE Transactions in Software Engineering.
September 2019Our paper On Synthesis of Runtime Security Monitor for Real-time IoT Applications has won the Best Paper Award at ICS-CSR organized by AirBus.