Luis A. Garcia [Post Doc]


Office: 1762 Boelter Hall


Tel [work]:


  • Bachelor of Science in Computer Engineering, University of Miami, 2014.
  • Master of Science in Computer and Electrical Engineering, University of Miami, 2014.
  • Doctor of Philosophy in Computer Engineering, Rutgers University, 2018.
    Thesis: Physics for the Sake of Security, Security for the Sake of Physics

Research Interests: My current research interests are in the security and verification of learning-enabled cyber-physical systems as well as embedded systems that are widely used in critical infrastructures such as medical devices and industrial control systems.

Recent Publications:

  • Poster: VirtSense: Virtualizing sensing through ARM TrustZone on Internet-of-Things
    Renju Liu, Luis A. Garcia, and Mani B. Srivastava.
    September 2018. [ Details ]

Other Publications:

  • Luis Garcia, Stefan Mitsch, and AndrĂ© Platzer, HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification, ACM/IEEE International Conference on Cyber-Physical Systems, 2019.
  • Pengfei Sun, Luis Garcia, Saman Zonouz, Tell Me More Than Assembly Instructions! Reversing Semantics of IoT Software Binaries, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2019.
  • Sridhar Adepu, , Ferdinand Brasser, Luis Garcia, Michael Rodler, Lucas Davi, Ahmad-Reza Sadeghi, and Saman Zonouz., Control Behavior Integrity for Distributed Cyber-Physical Systems, arXiv preprint arXiv:1812.08310 (2018).
  • Mingbo Zhang, Luis Garcia, Xiruo Liu, Pengfei Sun, and Saman Zonouz, Dynamic Memory Protection via Intel SGX-Supported Heap Allocation, Conference on Dependable, Autonomic and Secure Computing, Conference on Pervasive Intelligence and Computing, Conference on Big Data Intelligence and Computing and Cyber Science and Technology Congress (DASC/PiCom/DataCom/CyberSciTech), 2018.
  • Zhenqi Huang, Sriharsha Etigowni, Luis Garcia, Sayan Mitra, and Saman Zonouz, Algorithmic Attack Synthesis using Hybrid Dynamics of Power Grid Critical Infrastructures, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018.
  • Gabriel Salles-Loustau, Luis Garcia, Pengfei Sun, Maryam Dehnavi, Saman Zonouz, Power Grid Safety Control via Fine-Grained Multi-Persona Programmable Logic Controllers, IEEE International Conference on Smart Grid Communications (SmartGridComm), 2017.
  • Christian Bayens, Tuan Le, Luis Garcia, Raheem Beyah, Mehdi Javanmard, and Saman Zonouz, See No Evil, Hear No Evil, Feel No Evil, Print No Evil? Malicious Fill Patterns Detection in Additive Manufacturing, USENIX Security Symposium (USENIX Security), 2017.
  • Luis Garcia, Khalil Ghorbal, Saman Zonouz, Transient Stability of Power Systems: A Case Study in Formal Verification, ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2017, submitted.
  • Luis Garcia, Ferdinand Brasser, Mehmet Hazar, Osama Mohammed, Ahmad-Reza Sadeghi, Saman Zonouz, Hey, My Malware Knows Physics! Attacking PLCs with Physical Model Aware Rootkit Network, Network and Distributed System Security Symposium (NDSS), 2017.
  • Luis Garcia, Saman Zonouz, Dong Wei, Leandro Pfleger de Aguiar, Detecting PLC Control Corruption via On-Device Runtime Verification, IEEE Resilience Week 2016.
  • Gabriel Salles-Loustau, Luis Garcia, Kaustubh Joshi, Saman Zonouz, Swirls: Context-Aware Information-Flow-Based Micro-Security Perimeters for Mobile Devices, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2016.
  • Luis Garcia, Henry Senyondo, Stephen McLaughlin, Saman Zonouz, Covert Channel Communication Through Physical Interdependencies in Cyber-Physical Infrastructures, IEEE SmartGridComm, 2014.
  • Saman Zonouz, Luis Garcia, TMQ: Threat Model Quantification in Smart Grid Critical Infrastructures, IEEE International Conference on Smart Grid Communications (SmartGridComm), 2014.