| 2025 | ETFA | Automatic Recovery of Run-time Threats in Distributed Industrial Control Systems. | George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos |
| 2025 | IECON | Synthesizing Inline Security Monitors for ICS Using Generative AI and FormalBench. | George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos |
| 2025 | KES | Cross-Model Evaluation of LLMs for Generating Formal Specification of Distributed Industrial Control Systems. | George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos |
| 2024 | ETFA | Towards Integration of EPANET and ASM2S To Enhance Security in Water Distribution Systems. | George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos |
| 2024 | IECON | Applying Inline Monitoring to Detect Run-Time Security Incidents in Water Distribution Systems. | George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos |
| 2023 | ETFA | Towards Run-Time Security Monitoring of Distributed Industrial Control Systems. | George E. Raptis, Muhammad Taimoor Khan, Kyriakos Stefanidis, Christos Koulamas, Dimitrios Serpanos |
| 2023 | ETFA | Federated Learning in Malware Detection. | Dimitrios Serpanos, Georgios Xenos |
| 2022 | ICCAD | False Data Injection Attacks on Sensor Systems. | Dimitrios Serpanos |
| 2021 | ETFA | Towards Scalable Security of Real-time Applications: A Formally Certified Approach. | Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe |
| 2020 | DAC | Neural Network-Based Side Channel Attacks and Countermeasures. | Dimitrios Serpanos, Shengqi Yang, Marilyn Wolf |
| 2020 | ETFA | Rigorous Machine Learning for Secure and Autonomous Cyber Physical Systems. | Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe, Muhammad Murtaza Yousuf |
| 2019 | IECON | Fault Diagnosis in Energy Conversion Systems using Neural Networks and Statistical Decision Making. | Gerasimos G. Rigatos, Dimitrios Serpanos, Vasileios Siadimas, Pierluigi Siano, Masoud Abbaszadeh, Patrice Wira |
| 2018 | ETFA | MTF -Storm: a High Performance Fuzzer for Modbus/TCP. | Konstantinos Katsigiannis, Dimitrios Serpanos |
| 2018 | WiMob | Highly Assured Safety and Security of e-Health Applications. | Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe |