Skip navigation

Items where Author is "Khan, Muhammad Taimoor"

Items where Author is "Khan, Muhammad Taimoor"

Up a level
Export as [feed] RSS
Group by: Item Type | Uncontrolled Keywords | No Grouping
Android autonomous systems biomedical monitoring calculus computational modeling computer bugs computer crime computer hacking computer security control systems cyber attacks cyber risk cyber security cyber-physical cyberattack Deductive reasoning design methodology digital twin error handling and recovery formal analysis formal methods Inductive reasoning industrial control information and communication technology insulin integrated circuits IoT applications Java malware malware detection modeling monitoring process control program verification prototypes real-time security real-time systems resilience runtime safety security security and safety semantics sensors smart cities software software/program verification sugar systems time semantics timed automata tools tutorials
Number of items: 68.

Android

Aurangzeb, Sana, Aleem, Muhammad, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Loukas, George ORCID: 0000-0003-3559-5182 and Sakellari, Georgia ORCID: 0000-0001-7238-8700 (2024) AndroDex: Android Dex images of obfuscated malware. Scientific Data, 11 (212). pp. 1-10. ISSN 2052-4463 (Online) (doi:https://doi.org/10.1038/s41597-024-03027-3)

autonomous systems

Aurangzeb, Sana, Aleem, Muhammad, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Anwar, Haris and Siddique, Muhammad Shaoor (2023) Cybersecurity for autonomous vehicles against malware attacks in smart-cities. Cluster Computing. ISSN 1386-7857 (Print), 1573-7543 (Online) (doi:https://doi.org/10.1007/s10586-023-04114-7)

biomedical monitoring

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

calculus

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

computational modeling

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

computer bugs

Liva, Giovanni, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin (2018) Modeling time in Java programs for automatic error detection. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18. ACM, New York, USA, pp. 50-59. ISBN 978-1450357180 (doi:https://doi.org/10.1145/3193992.3193997)

computer crime

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

computer hacking

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

computer security

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

control systems

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

cyber attacks

Aurangzeb, Sana, Aleem, Muhammad, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Loukas, George ORCID: 0000-0003-3559-5182 and Sakellari, Georgia ORCID: 0000-0001-7238-8700 (2024) AndroDex: Android Dex images of obfuscated malware. Scientific Data, 11 (212). pp. 1-10. ISSN 2052-4463 (Online) (doi:https://doi.org/10.1038/s41597-024-03027-3)

cyber risk

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 (2022) Towards practical and formal security risk analysis of IoT (Internet of Things) applications. In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-4. ISBN 978-1665499965; 978-1665499972 (doi:https://doi.org/10.1109/ETFA52439.2022.9921511)

cyber security

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2021) Towards scalable security of real-time applications: a formally certified approach. In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, 01-04. ISBN 978-1728129907; 978-1728129891 (doi:https://doi.org/10.1109/ETFA45728.2021.9613489)

cyber-physical

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

cyberattack

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

Deductive reasoning

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2019) Security of cyberphysical systems: Chaining induction and deduction. Computer, 52. pp. 72-75. ISSN 0018-9162 (Print), 1558-0814 (Online) (doi:https://doi.org/10.1109/MC.2019.2913138)

design methodology

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

digital twin

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 (2023) Challenges in modelling applications for safe and resilient digital twins. In: 2022 IEEE International Smart Cities Conference (ISC2), Pafos, Cyprus. 26-29 Sept 2022. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-6. ISBN 978-1665485616; 978-1665485623 ISSN 2687-8860 (Print), 2687-8852 (Online) (doi:https://doi.org/10.1109/ISC255366.2022.9921921)

error handling and recovery

Giovanni, Liva, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca (2019) Automatic repair of timestamp comparisons. IEEE Transactions on Software Engineering, 47 (11). pp. 2369-2381. ISSN 0098-5589 (doi:https://doi.org/10.1109/TSE.2019.2948351)

formal analysis

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 (2022) Towards practical and formal security risk analysis of IoT (Internet of Things) applications. In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-4. ISBN 978-1665499965; 978-1665499972 (doi:https://doi.org/10.1109/ETFA52439.2022.9921511)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2021) Towards scalable security of real-time applications: a formally certified approach. In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, 01-04. ISBN 978-1728129907; 978-1728129891 (doi:https://doi.org/10.1109/ETFA45728.2021.9613489)

formal methods

Giovanni, Liva, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca (2019) Automatic repair of timestamp comparisons. IEEE Transactions on Software Engineering, 47 (11). pp. 2369-2381. ISSN 0098-5589 (doi:https://doi.org/10.1109/TSE.2019.2948351)

Inductive reasoning

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2019) Security of cyberphysical systems: Chaining induction and deduction. Computer, 52. pp. 72-75. ISSN 0018-9162 (Print), 1558-0814 (Online) (doi:https://doi.org/10.1109/MC.2019.2913138)

industrial control

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

information and communication technology

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

insulin

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

integrated circuits

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

IoT applications

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 (2022) Towards practical and formal security risk analysis of IoT (Internet of Things) applications. In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-4. ISBN 978-1665499965; 978-1665499972 (doi:https://doi.org/10.1109/ETFA52439.2022.9921511)

Java

Liva, Giovanni, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin (2018) Modeling time in Java programs for automatic error detection. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18. ACM, New York, USA, pp. 50-59. ISBN 978-1450357180 (doi:https://doi.org/10.1145/3193992.3193997)

malware

Aurangzeb, Sana, Aleem, Muhammad, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Loukas, George ORCID: 0000-0003-3559-5182 and Sakellari, Georgia ORCID: 0000-0001-7238-8700 (2024) AndroDex: Android Dex images of obfuscated malware. Scientific Data, 11 (212). pp. 1-10. ISSN 2052-4463 (Online) (doi:https://doi.org/10.1038/s41597-024-03027-3)

malware detection

Aurangzeb, Sana, Aleem, Muhammad, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Anwar, Haris and Siddique, Muhammad Shaoor (2023) Cybersecurity for autonomous vehicles against malware attacks in smart-cities. Cluster Computing. ISSN 1386-7857 (Print), 1573-7543 (Online) (doi:https://doi.org/10.1007/s10586-023-04114-7)

modeling

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 (2023) Challenges in modelling applications for safe and resilient digital twins. In: 2022 IEEE International Smart Cities Conference (ISC2), Pafos, Cyprus. 26-29 Sept 2022. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-6. ISBN 978-1665485616; 978-1665485623 ISSN 2687-8860 (Print), 2687-8852 (Online) (doi:https://doi.org/10.1109/ISC255366.2022.9921921)

monitoring

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

process control

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

program verification

Liva, Giovanni ORCID: 0000-0002-9337-5762 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Pinzger, Martin (2019) Semantics-driven extraction of timed automata from Java programs. Empirical Software Engineering, 24 (5). pp. 3114-3150. ISSN 1382-3256 (Print), 1573-7616 (Online) (doi:https://doi.org/10.1007/s10664-019-09699-5)

prototypes

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

real-time security

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2021) Towards scalable security of real-time applications: a formally certified approach. In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, 01-04. ISBN 978-1728129907; 978-1728129891 (doi:https://doi.org/10.1109/ETFA45728.2021.9613489)

real-time systems

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

resilience

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 (2023) Challenges in modelling applications for safe and resilient digital twins. In: 2022 IEEE International Smart Cities Conference (ISC2), Pafos, Cyprus. 26-29 Sept 2022. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-6. ISBN 978-1665485616; 978-1665485623 ISSN 2687-8860 (Print), 2687-8852 (Online) (doi:https://doi.org/10.1109/ISC255366.2022.9921921)

runtime

Liva, Giovanni, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin (2018) Modeling time in Java programs for automatic error detection. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18. ACM, New York, USA, pp. 50-59. ISBN 978-1450357180 (doi:https://doi.org/10.1145/3193992.3193997)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

safety

Mohsin, Ali, Aurangzeb, Sana, Aleem, Muhammad and Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 (2022) On the performance and scalability of simulators for improving security and safety of smart cities. In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 978-1665499965; 978-1665499972 (doi:https://doi.org/10.1109/ETFA52439.2022.9921600)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

security

Aurangzeb, Sana, Aleem, Muhammad, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Anwar, Haris and Siddique, Muhammad Shaoor (2023) Cybersecurity for autonomous vehicles against malware attacks in smart-cities. Cluster Computing. ISSN 1386-7857 (Print), 1573-7543 (Online) (doi:https://doi.org/10.1007/s10586-023-04114-7)

Mohsin, Ali, Aurangzeb, Sana, Aleem, Muhammad and Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 (2022) On the performance and scalability of simulators for improving security and safety of smart cities. In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 978-1665499965; 978-1665499972 (doi:https://doi.org/10.1109/ETFA52439.2022.9921600)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2019) Security of cyberphysical systems: Chaining induction and deduction. Computer, 52. pp. 72-75. ISSN 0018-9162 (Print), 1558-0814 (Online) (doi:https://doi.org/10.1109/MC.2019.2913138)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT). IEEE, pp. 100-105. ISBN 978-1509041305 (doi:https://doi.org/10.1109/WF-IoT.2016.7845510)

security and safety

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 (2023) Challenges in modelling applications for safe and resilient digital twins. In: 2022 IEEE International Smart Cities Conference (ISC2), Pafos, Cyprus. 26-29 Sept 2022. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-6. ISBN 978-1665485616; 978-1665485623 ISSN 2687-8860 (Print), 2687-8852 (Online) (doi:https://doi.org/10.1109/ISC255366.2022.9921921)

semantics

Liva, Giovanni, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin (2018) Modeling time in Java programs for automatic error detection. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18. ACM, New York, USA, pp. 50-59. ISBN 978-1450357180 (doi:https://doi.org/10.1145/3193992.3193997)

sensors

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

smart cities

Aurangzeb, Sana, Aleem, Muhammad, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Anwar, Haris and Siddique, Muhammad Shaoor (2023) Cybersecurity for autonomous vehicles against malware attacks in smart-cities. Cluster Computing. ISSN 1386-7857 (Print), 1573-7543 (Online) (doi:https://doi.org/10.1007/s10586-023-04114-7)

Mohsin, Ali, Aurangzeb, Sana, Aleem, Muhammad and Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 (2022) On the performance and scalability of simulators for improving security and safety of smart cities. In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 978-1665499965; 978-1665499972 (doi:https://doi.org/10.1109/ETFA52439.2022.9921600)

software

Liva, Giovanni, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin (2018) Modeling time in Java programs for automatic error detection. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18. ACM, New York, USA, pp. 50-59. ISBN 978-1450357180 (doi:https://doi.org/10.1145/3193992.3193997)

software/program verification

Giovanni, Liva, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca (2019) Automatic repair of timestamp comparisons. IEEE Transactions on Software Engineering, 47 (11). pp. 2369-2381. ISSN 0098-5589 (doi:https://doi.org/10.1109/TSE.2019.2948351)

sugar

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2018) Highly assured safety and security of e-health applications. In: 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, pp. 137-144. ISBN 978-1538668764 ISSN 2160-4886 (doi:https://doi.org/10.1109/WiMOB.2018.8589095)

systems

Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Serpanos, Dimitrios and Shrobe, Howard (2017) ARMET: behavior-based secure and resilient industrial control systems. Proceedings of the IEEE, 106 (1). pp. 129-143. ISSN 0018-9219 (Print), 1558-2256 (Online) (doi:https://doi.org/10.1109/JPROC.2017.2725642)

time semantics

Liva, Giovanni ORCID: 0000-0002-9337-5762 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Pinzger, Martin (2019) Semantics-driven extraction of timed automata from Java programs. Empirical Software Engineering, 24 (5). pp. 3114-3150. ISSN 1382-3256 (Print), 1573-7616 (Online) (doi:https://doi.org/10.1007/s10664-019-09699-5)

timed automata

Liva, Giovanni ORCID: 0000-0002-9337-5762 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Pinzger, Martin (2019) Semantics-driven extraction of timed automata from Java programs. Empirical Software Engineering, 24 (5). pp. 3114-3150. ISSN 1382-3256 (Print), 1573-7616 (Online) (doi:https://doi.org/10.1007/s10664-019-09699-5)

tools

Liva, Giovanni, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin (2018) Modeling time in Java programs for automatic error detection. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18. ACM, New York, USA, pp. 50-59. ISBN 978-1450357180 (doi:https://doi.org/10.1145/3193992.3193997)

tutorials

Serpanos, Dimitrios ORCID: 0000-0002-1385-7113 , Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2018) Designing safe and secure industrial control systems: A tutorial review. IEEE Design & Test, 35 (3). pp. 73-88. ISSN 2168-2356 (Print), 2168-2364 (Online) (doi:https://doi.org/10.1109/MDAT.2018.2816943)

This list was generated on Fri Nov 22 03:47:41 2024 UTC.