Cyber-Physical Systems Security & Semantics
Semantics-driven hardening of legacy and modern CPS; symbolic recovery of logic; testbed-based security experimentation.
Funded Projects
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.
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.
SMELL-CPS: Symbolic Math Expressions from Low-level Logic in Cyber-Physical Systems (ReMATH AIE)
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.
Featured Publications
ICSTracker: Backtracking Intrusions in Modern Industrial Control Systems
Md Raihan Ahmed, Jainta Paul, Levi Taiji Li, et al.
2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) • 2025
SPHERE CPS Enclave: A Reconfigurable Testbed for Industrial Control System Security Experimentation
Luis Garcia, Jelena Mirkovic, David Balenson, et al.
Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025) • 2025
AutoCPS: Control Software Dataset Generation for Semantic Reverse Engineering
Haoda Wang, Christophe Hauser, Luis Garcia
2022 IEEE Security and Privacy Workshops (SPW) • 2022
HyPLC: Hybrid programmable logic controller program translation for verification
Luis Garcia, Stefan Mitsch, Andr{\'e} Platzer
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems • 2019
Related Publications
HyTwin: Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems
NASA Formal Methods Symposium • 2025
Property-Guided Cyber-Physical Reduction and Surrogation for Safety Analysis in Robotic Vehicles
Security and Privacy in Cyber-Physical Systems and Smart Vehicles: Third EAI International Conference, SmartSP 2025, Salt Lake City, Utah, USA, December 1--2, 2025, Proceedings • 2025
SensorLoader: Bridging the Gap in Cyber-Physical Reverse Engineering Across Embedded Peripheral Devices
Proceedings of the First International Workshop on Security and Privacy of Sensing Systems • 2023
Poster: Known Vulnerability Detection for WebAssembly Binaries
Poster: Known Vulnerability Detection for WebAssembly Binaries • 2021
PERFUME: Programmatic Extraction and Refinement for Usability of Mathematical Expression
Proceedings of the 2021 Research on offensive and defensive techniques in the Context of Man At The End (MATE) Attacks • 2021