Muhammad Taimoor Khan

43 papers A* 1A 1B 2C 9Misc 2Journal 18Unranked 10
YearRankTypeTitle / Venue / Authors
2025 C conf
Automatic Recovery of Run-time Threats in Distributed Industrial Control Systems.
ETFA
George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos
2025 B conf
Cross-Model Evaluation of LLMs for Generating Formal Specification of Distributed Industrial Control Systems.
KES
George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos
2025 Misc conf
LLM-based Generation of Formal Specification for Run-time Security Monitoring of ICS.
CSR
George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos
2025 A* conf
Poster: Model-driven Privacy Analysis of Messaging Platforms.
CCS
Muqaddas Naz, Muhammad Taimoor Khan, Muhammad Waqas
2025 A conf
QADL: Prototype of Quantum Architecture Description Language.
EASE
Muhammad Waseem, Aakash Ahmad, Tommi Mikkonen, Muhammad Taimoor Khan, Majid Haghparast, Vlad Stirbu, Peng Liang
2025 — conf
Towards a Unified Run-Time Monitoring Framework for Distributed Industrial Control Systems.
ISC2
Ioannis E. Saramantas, George E. Raptis, Muhammad Taimoor Khan, Spilios D. Fassois, John S. Sakellariou, Christos Koulamas, Ilias A. Iliopoulos, Dimitrios Serpanos
2024 C conf
Applying Inline Monitoring to Detect Run-Time Security Incidents in Water Distribution Systems.
IECON
George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos
2024 J jnl
Cybersecurity for autonomous vehicles against malware attacks in smart-cities.
Clust. Comput.
Sana Aurangzeb, Muhammad Aleem, Muhammad Taimoor Khan, Haris Anwar, Muhammad Shaoor Siddique
2024 J jnl
QADL: Prototype of Quantum Architecture Description Language.
CoRR
Muhammad Waseem, Tommi Mikkonen, Aakash Ahmad, Muhammad Taimoor Khan, Majid Haghparast, Vlad Stirbu, Peng Liang
2024 C conf
Towards Integration of EPANET and ASM2S To Enhance Security in Water Distribution Systems.
ETFA
George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos
2024 — conf
Towards Integration of Syntactic and Semantic Vulnerability Patterns.
ICSA-C
Lal Akhter, Muhammad Taimoor Khan, George Loukas, Georgia Sakellari
2023 — conf
Towards Behavior-Based Analysis of Android Obfuscated Malware.
ECSA (Tracks, Workshops and Doctoral Symposium)
Zakaria Sawadogo, Muhammad Taimoor Khan, George Loukas, Jean Marie Dembele, Georgia Sakellari, Gervais Mendy
2023 C conf
Towards Run-Time Security Monitoring of Distributed Industrial Control Systems.
ETFA
George E. Raptis, Muhammad Taimoor Khan, Kyriakos Stefanidis, Christos Koulamas, Dimitrios Serpanos
2023 — conf
Towards a DeepMalOb Improvement in the Use of Formal Security Risk Analysis Methods.
CloudTech
Zakaria Sawadogo, Muhammad Taimoor Khan, Jean Marie Dembele, Gervais Mendy, Samuel Ouya
2022 — conf
Challenges in Modelling Applications for Safe and Resilient Digital Twins.
ISC2
Muhammad Taimoor Khan
2022 C conf
On the Performance and Scalability of Simulators for Improving Security and Safety of Smart Cities.
ETFA
Ali Mohsin, Sana Aurangzeb, Muhammad Aleem, Muhammad Taimoor Khan
2022 C conf
Towards Practical and Formal Security Risk Analysis of IoT (Internet of Things) Applications.
ETFA
Muhammad Taimoor Khan
2021 J jnl
Automatic Repair of Timestamp Comparisons.
IEEE Trans. Software Eng.
Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger, Francesco Spegni, Luca Spalazzi
2021 J jnl
Securing Industrial Cyber-Physical Systems: A Run-Time Multilayer Monitoring.
IEEE Trans. Ind. Informatics
Muhammad Taimoor Khan, Ivana Tomic
2021 C conf
Towards Scalable Security of Real-time Applications: A Formally Certified Approach.
ETFA
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe
2020 J jnl
Indexing of real time geospatial data by IoT enabled devices: Opportunities, challenges and design considerations.
J. Ambient Intell. Smart Environ.
Natalia Chaudhry, Muhammad Murtaza Yousaf, Muhammad Taimoor Khan
2020 C conf
Rigorous Machine Learning for Secure and Autonomous Cyber Physical Systems.
ETFA
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe, Muhammad Murtaza Yousuf
2020 J jnl
Runtime Protection of Real-time Critical Control Applications against Known Threats.
IEEE Des. Test
Muhammad Taimoor Khan, Martin Pinzger, Dimitrios Serpanos, Howard E. Shrobe
2020 J jnl
Security assessment of data management systems for cyber physical system applications.
J. Softw. Evol. Process.
Natalia Chaudhry, Muhammad Murtaza Yousaf, Muhammad Taimoor Khan
2019 J jnl
Security of Cyberphysical Systems: Chaining Induction and Deduction.
Computer
Muhammad Taimoor Khan, Howard E. Shrobe
2019 J jnl
Semantics-driven extraction of timed automata from Java programs.
Empir. Softw. Eng.
Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger
2018 J jnl
ARMET: Behavior-Based Secure and Resilient Industrial Control Systems.
Proc. IEEE
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
2018 J jnl
Designing Safe and Secure Industrial Control Systems: A Tutorial Review.
IEEE Des. Test
Dimitrios N. Serpanos, Muhammad Taimoor Khan, Howard E. Shrobe
2018 B conf
Highly Assured Safety and Security of e-Health Applications.
WiMob
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe
2018 — conf
Modeling time in Java programs for automatic error detection.
FormaliSE@ICSE
Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger
2017 C conf
Extracting Timed Automata from Java Methods.
SCAM
Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger
2016 — conf
A rigorous and efficient run-time security monitor for real-time critical embedded system applications.
WF-IoT
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
2016 J jnl
Behaviour-Based Security for Cyber-Physical Systems.
ERCIM News
Dimitrios N. Serpanos, Howard E. Shrobe, Muhammad Taimoor Khan
2016 J jnl
Sound and Complete Runtime Security Monitor for Application Software.
CoRR
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
2015 — conf
Abstract Data Machine: Data Classifier for Reliable Embedded Systems Software.
WESS
Muhammad Taimoor Khan, Anastasios Fragopoulos, Dimitrios N. Serpanos, Howard E. Shrobe
2014 J jnl
On the Behavioural Formalization of the Cognitive Middleware AWDRAT.
CoRR
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
2014 J jnl
On the Formal Semantics of the Cognitive Middleware AWDRAT.
CoRR
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
2013 J jnl
A verification framework for minimaple programs.
ACM Commun. Comput. Algebra
Muhammad Taimoor Khan, Wolfgang Schreiner
2012 J jnl
On Formal Specification of Maple Programs
CoRR
Muhammad Taimoor Khan, Wolfgang Schreiner
2012 — conf
On Formal Specification of Maple Programs.
AISC/MKM/Calculemus
Muhammad Taimoor Khan, Wolfgang Schreiner
2012 Misc conf
On the Formal Semantics of MiniMaple and its Specification Language.
FIT
Muhammad Taimoor Khan
2012 J jnl
Towards the Formal Specification and Verification of Maple Programs
CoRR
Muhammad Taimoor Khan, Wolfgang Schreiner
2012 — conf
Towards the Formal Specification and Verification of Maple Programs.
AISC/MKM/Calculemus
Muhammad Taimoor Khan, Wolfgang Schreiner