2025 / 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
ICSTracker: Backtracking Intrusions in Modern Industrial Control Systems
Md Raihan Ahmed, Jainta Paul, Levi Taiji Li, Luis Garcia, et al.
← Back to Research
Research Theme
Digital Twinning for Industrial Control Systems
We build industrial-control twins that connect control code, process models, and testbeds for validation, conformance checking, and mitigation synthesis.
- Projects
- 3
- Active
- 2
- Papers
- 12
Funded Work
Projects connected to this theme
Active2024–2028
SPHERE CPS Enclave: Reconfigurable Testbed for CPS
SPHERE CPS Enclave is a reconfigurable, remotely accessible industrial-control experimentation environment for repeatable and shareable cybersecurity studies spanning PLC logic, SCADA/HMI interaction, process telemetry, and configurable network behavior.
NSF Mid-Scale RI
Project detailsActive2022–2025
FMitF: Formal Verification & Implementation Stack for PLCs
FMitF develops a provably correct stack that links formal hybrid-system models to PLC implementations, combining verified runtime monitoring with bidirectional model-code translation for industrial control systems.
NSF FMitF
Project detailsCompleted2020–2021 (18 months)
SMELL-CPS: Symbolic Math Expressions from Low-level Logic in Cyber-Physical Systems
SMELL-CPS developed methods to extract interpretable mathematical expressions and semantic structure from low-level CPS control binaries, enabling reverse engineering, assurance analysis, and downstream automated testing workflows.
DARPA
Project detailsFeatured Papers
Representative publications
2025 / Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)
SPHERE CPS Enclave: A Reconfigurable Testbed for Industrial Control System Security Experimentation
Luis Garcia, Jelena Mirkovic, David Balenson, Erik Kline, et al.
2025 / NASA Formal Methods Symposium
HyTwin: Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems
Jainta Paul, Stefan Mitsch, Luis Garcia
2019 / Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems
HyPLC: Hybrid programmable logic controller program translation for verification
Luis Garcia, Stefan Mitsch, Andr{\'e} Platzer
ICCPS 2019 Best Paper Award Honorable Mention
Related Papers
More publications in this area
2023 / NSF Award Number 2425711. Directorate for Computer and Information Science and Engineering
Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers
Luis A Garcia
2023 / Proceedings of the 2024 Workshop on Re-design Industrial Control Systems with Security
Towards Cross-Physical-Domain Threat Inference for Industrial Control System Defense Adaptation
Jainta Paul, Lawrence Ponce, Mu Zhang, Luis Garcia
2022 / NSF Award Number 2220312. Directorate for Computer and Information Science and Engineering
Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers
Luis A Garcia
2022 / 2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems (MASS)
Modeling Human-Cyber Interactions in Safety-Critical Cyber-Physical/Industrial Control Systems
Steven Ngo, Dave DeAngelis, Luis Garcia
2019 / 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019)
$\{$PAtt$\}$: Physics-based Attestation of Control Systems
Hamid Reza Ghaeini, Matthew Chan, Raad Bahmani, Ferdinand Brasser, et al.
2019 / 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Tell Me More Than Just Assembly! Reversing Cyber-Physical Execution Semantics of Embedded IoT Controller Software Binaries
Pengfei Sun, Luis Garcia, Saman Zonouz
2017 / NDSS
Hey, My Malware Knows Physics! Attacking PLCs with Physical Model Aware Rootkit
Luis Garcia, Ferdinand Brasser, Mehmet Hazar Cintuglu, Ahmad-Reza Sadeghi, et al.
2017 / 2017 IEEE International Conference on Smart Grid Communications (SmartGridComm)
Power grid safety control via fine-grained multi-persona programmable logic controllers
Gabriel Salles-Loustau, Luis Garcia, Pengfei Sun, Maryam Dehnavi, et al.