Muhammad Taimoor Khan

Orcid: 0000-0002-5752-6420

Affiliations:
  • University of Greenwich, UK
  • CSAIL, MIT, USA
  • University of Surrey, UK (former)
  • Alpen-Adria University, Klagenfurt, Austria (former)
  • Johannes Kepler University, Linz, Austria (former)


According to our database1, Muhammad Taimoor Khan authored at least 33 papers between 2012 and 2024.

Collaborative distances:

Timeline

2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
2
3
2
2
2
2
1
2
3
3
1
1
2
1
1
1
3

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Cybersecurity for autonomous vehicles against malware attacks in smart-cities.
Clust. Comput., June, 2024

Towards Integration of Syntactic and Semantic Vulnerability Patterns.
Proceedings of the 21st IEEE International Conference on Software Architecture, 2024

Towards Integration of EPANET and ASM2S To Enhance Security in Water Distribution Systems.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

2023
Towards Run-Time Security Monitoring of Distributed Industrial Control Systems.
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Towards Behavior-Based Analysis of Android Obfuscated Malware.
Proceedings of the Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium, 2023

Towards a DeepMalOb Improvement in the Use of Formal Security Risk Analysis Methods.
Proceedings of the 6th IEEE International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications, 2023

2022
Challenges in Modelling Applications for Safe and Resilient Digital Twins.
Proceedings of the IEEE International Smart Cities Conference, 2022

On the Performance and Scalability of Simulators for Improving Security and Safety of Smart Cities.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Towards Practical and Formal Security Risk Analysis of IoT (Internet of Things) Applications.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021
Automatic Repair of Timestamp Comparisons.
IEEE Trans. Software Eng., 2021

Securing Industrial Cyber-Physical Systems: A Run-Time Multilayer Monitoring.
IEEE Trans. Ind. Informatics, 2021

Towards Scalable Security of Real-time Applications: A Formally Certified Approach.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020
Security assessment of data management systems for cyber physical system applications.
J. Softw. Evol. Process., 2020

Indexing of real time geospatial data by IoT enabled devices: Opportunities, challenges and design considerations.
J. Ambient Intell. Smart Environ., 2020

Runtime Protection of Real-time Critical Control Applications against Known Threats.
IEEE Des. Test, 2020

Rigorous Machine Learning for Secure and Autonomous Cyber Physical Systems.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019
Semantics-driven extraction of timed automata from Java programs.
Empir. Softw. Eng., 2019

Security of Cyberphysical Systems: Chaining Induction and Deduction.
Computer, 2019

2018
ARMET: Behavior-Based Secure and Resilient Industrial Control Systems.
Proc. IEEE, 2018

Designing Safe and Secure Industrial Control Systems: A Tutorial Review.
IEEE Des. Test, 2018

Highly Assured Safety and Security of e-Health Applications.
Proceedings of the 14th International Conference on Wireless and Mobile Computing, 2018

Modeling time in Java programs for automatic error detection.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017
Extracting Timed Automata from Java Methods.
Proceedings of the 17th IEEE International Working Conference on Source Code Analysis and Manipulation, 2017

2016
Behaviour-Based Security for Cyber-Physical Systems.
ERCIM News, 2016

Sound and Complete Runtime Security Monitor for Application Software.
CoRR, 2016

A rigorous and efficient run-time security monitor for real-time critical embedded system applications.
Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

2015
Abstract Data Machine: Data Classifier for Reliable Embedded Systems Software.
Proceedings of the 10th Workshop on Embedded Systems Security, 2015

2014
On the Formal Semantics of the Cognitive Middleware AWDRAT.
CoRR, 2014

On the Behavioural Formalization of the Cognitive Middleware AWDRAT.
CoRR, 2014

2013
A verification framework for minimaple programs.
ACM Commun. Comput. Algebra, 2013

2012
On the Formal Semantics of MiniMaple and its Specification Language.
Proceedings of the 10th International Conference on Frontiers of Information Technology, 2012

On Formal Specification of Maple Programs.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Towards the Formal Specification and Verification of Maple Programs.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012


  Loading...