Research Theme
We build fidelity-aware twins that connect hybrid models, runtime traces, and verification workflows for safer design decisions.
Funded Work
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 detailsFMitF 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 detailsFeatured Papers
2025 / Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)
Luis Garcia, Jelena Mirkovic, David Balenson, Erik Kline, et al.
2025 / NASA Formal Methods Symposium
Jainta Paul, Stefan Mitsch, Luis Garcia
2023 / NSF Award Number 2425711. Directorate for Computer and Information Science and Engineering
Luis A Garcia
2019 / 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019)
Hamid Reza Ghaeini, Matthew Chan, Raad Bahmani, Ferdinand Brasser, et al.
Related Papers
2022 / arXiv preprint arXiv:2204.13597
Moustafa Alzantot, Luis Garcia, Mani Srivastava
2022 / NSF Award Number 2220312. Directorate for Computer and Information Science and Engineering
Luis A Garcia
2020 / arXiv e-prints
Marc Roig Vilamala, Harrison Taylor, Tianwei Xing, Luis Garcia, et al.
2020 / arXiv preprint arXiv:2009.03420
Marc Roig Vilamala, Harrison Taylor, Tianwei Xing, Luis Garcia, et al.
2019 / Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems
Luis Garcia, Stefan Mitsch, Andr{\'e} Platzer
ICCPS 2019 Best Paper Award Honorable Mention
2019 / Workshop on Distributed Analytics InfraStructure and Algorithms for Multi-Organization Federations 2019
Tianwei Xing, Marc Roig Vilamala, Luis Garcia, Paul Sullivan, et al.