Muhammad Taimoor Khan

ARMET: Behavior-Based Secure and Resilient Industrial Control Systems

Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe · Proceedings of the IEEE · 2017 · 54 citations

Computing, Computer Engineering, Computer Science +15

Outcome of ambulatory video-EEG monitoring in a ˜10,000 patient nationwide cohort

Tanvir U. Syed, W. Curt LaFrance, Tobias Loddenkemper et al. · Seizure · 2019 · 41 citations · Full text

Medicine, Neurology, Epilepsy +11

A rigorous and efficient run-time security monitor for real-time critical embedded system applications

Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe · 2016 · 23 citations

Computing, Computer Engineering, Computer Science +17

Securing Industrial Cyber–Physical Systems: A Run-Time Multilayer Monitoring

Muhammad Taimoor Khan, Ivana Tomić · IEEE Transactions on Industrial Informatics · 2020 · 17 citations

Computing, Computer Science, Cybersecurity +17

Extracting Timed Automata from Java Methods

Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger · 2017 · 12 citations

Computing, Computer Engineering, Computer Science +12