Muhammad Taimoor Khan

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 22

Top Topics

Formal Semantics

Top Venues

Publications

Sana Aurangzeb, Muhammad Aleem, Muhammad Taimoor Khan, Haris Anwar, Muhammad Shaoor Siddique
Cybersecurity for autonomous vehicles against malware attacks in smart-cities. Clust. Comput. 27 (3) (2024)
George E. Raptis, Muhammad Taimoor Khan, Kyriakos Stefanidis, Christos Koulamas, Dimitrios Serpanos
Towards Run-Time Security Monitoring of Distributed Industrial Control Systems. ETFA (2023)
Zakaria Sawadogo, Muhammad Taimoor Khan, George Loukas, Jean Marie Dembele, Georgia Sakellari, Gervais Mendy
Towards Behavior-Based Analysis of Android Obfuscated Malware. ECSA (Tracks, Workshops and Doctoral Symposium) (2023)
Zakaria Sawadogo, Muhammad Taimoor Khan, Jean Marie Dembelle, Gervais Mendy, Samuel Ouya
Towards a DeepMalOb Improvement in the Use of Formal Security Risk Analysis Methods. CloudTech (2023)
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe
Towards Scalable Security of Real-time Applications: A Formally Certified Approach. ETFA (2021)
Muhammad Taimoor Khan, Ivana Tomic
Securing Industrial Cyber-Physical Systems: A Run-Time Multilayer Monitoring. IEEE Trans. Ind. Informatics 17 (9) (2021)
Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger, Francesco Spegni, Luca Spalazzi
Automatic Repair of Timestamp Comparisons. IEEE Trans. Software Eng. 47 (11) (2021)
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe, Muhammad Murtaza Yousuf
Rigorous Machine Learning for Secure and Autonomous Cyber Physical Systems. ETFA (2020)
Natalia Chaudhry, Muhammad Murtaza Yousaf, Muhammad Taimoor Khan
Security assessment of data management systems for cyber physical system applications. J. Softw. Evol. Process. 32 (2) (2020)
Muhammad Taimoor Khan, Martin Pinzger, Dimitrios Serpanos, Howard E. Shrobe
Runtime Protection of Real-time Critical Control Applications against Known Threats. IEEE Des. Test 37 (6) (2020)
Natalia Chaudhry, Muhammad Murtaza Yousaf, Muhammad Taimoor Khan
Indexing of real time geospatial data by IoT enabled devices: Opportunities, challenges and design considerations. J. Ambient Intell. Smart Environ. 12 (4) (2020)
Muhammad Taimoor Khan, Howard E. Shrobe
Security of Cyberphysical Systems: Chaining Induction and Deduction. Computer 52 (7) (2019)
Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger
Semantics-driven extraction of timed automata from Java programs. Empir. Softw. Eng. 24 (5) (2019)
Dimitrios N. Serpanos, Muhammad Taimoor Khan, Howard E. Shrobe
Designing Safe and Secure Industrial Control Systems: A Tutorial Review. IEEE Des. Test 35 (3) (2018)
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
ARMET: Behavior-Based Secure and Resilient Industrial Control Systems. Proc. IEEE 106 (1) (2018)
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe
Highly Assured Safety and Security of e-Health Applications. WiMob (2018)
Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger
Modeling time in Java programs for automatic error detection. FormaliSE@ICSE (2018)
Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger
Extracting Timed Automata from Java Methods. SCAM (2017)
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
A rigorous and efficient run-time security monitor for real-time critical embedded system applications. WF-IoT (2016)
Dimitrios N. Serpanos, Howard E. Shrobe, Muhammad Taimoor Khan
Behaviour-Based Security for Cyber-Physical Systems. ERCIM News 2016 (107) (2016)
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
Sound and Complete Runtime Security Monitor for Application Software. CoRR (2016)
Muhammad Taimoor Khan, Anastasios Fragopoulos, Dimitrios N. Serpanos, Howard E. Shrobe
Abstract Data Machine: Data Classifier for Reliable Embedded Systems Software. WESS (2015)
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
On the Behavioural Formalization of the Cognitive Middleware AWDRAT. CoRR (2014)
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
On the Formal Semantics of the Cognitive Middleware AWDRAT. CoRR (2014)
Muhammad Taimoor Khan, Wolfgang Schreiner
A verification framework for minimaple programs. ACM Commun. Comput. Algebra 47 (3/4) (2013)
Muhammad Taimoor Khan, Wolfgang Schreiner
On Formal Specification of Maple Programs CoRR (2012)
Muhammad Taimoor Khan, Wolfgang Schreiner
Towards the Formal Specification and Verification of Maple Programs CoRR (2012)
Muhammad Taimoor Khan, Wolfgang Schreiner
Towards the Formal Specification and Verification of Maple Programs. AISC/MKM/Calculemus (2012)
Muhammad Taimoor Khan
On the Formal Semantics of MiniMaple and its Specification Language. FIT (2012)
Muhammad Taimoor Khan, Wolfgang Schreiner
On Formal Specification of Maple Programs. AISC/MKM/Calculemus (2012)