Luis Garcia

发表

A Cyber-Physical Modeling and Assessment Framework for Power Grid Infrastructures

Katherine R. Davis, Charles M. Davis, Saman A. Zonouz, 2015, IEEE Transactions on Smart Grid.

Vertex Unfoldings of Orthogonal Polyhedra: Positive, Negative, and Inconclusive Results

Luis Garcia, Andres Gutierrez, Isaac Ruiz, 2018, CCCG.

HyPLC: hybrid programmable logic controller program translation for verification

Luis Garcia, André Platzer, Stefan Mitsch, 2019, ICCPS.

See No Evil, Hear No Evil, Feel No Evil, Print No Evil? Malicious Fill Patterns Detection in Additive Manufacturing

Saman A. Zonouz, Luis Garcia, Raheem A. Beyah, 2017, USENIX Security Symposium.

Tell Me More Than Just Assembly! Reversing Cyber-Physical Execution Semantics of Embedded IoT Controller Software Binaries

Pengfei Sun, Luis Garcia, Saman Zonouz, 2019, 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Control Behavior Integrity for Distributed Cyber-Physical Systems

Ahmad-Reza Sadeghi, Saman A. Zonouz, Luis Garcia, 2018, 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS).

Power grid safety control via fine-grained multi-persona programmable logic controllers

Pengfei Sun, Saman A. Zonouz, Luis Garcia, 2017, 2017 IEEE International Conference on Smart Grid Communications (SmartGridComm).

Dynamic Memory Protection via Intel SGX-Supported Heap Allocation

Pengfei Sun, Saman A. Zonouz, Luis Garcia, 2018, 2018 IEEE 16th Intl Conf on Dependable, Autonomic and Secure Computing, 16th Intl Conf on Pervasive Intelligence and Computing, 4th Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech).

Toward multi-task support and security analyses in PLC program translation for verification: poster abstract

Luis Garcia, André Platzer, Stefan Mitsch, 2019, ICCPS.

Covert channel communication through physical interdependencies in cyber-physical infrastructures

Henry Senyondo, Saman A. Zonouz, Luis Garcia, 2014, 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm).

Analysis of Coded Apertures for Defocus Deblurring of HDR Images

Diego Gutierrez, Luis Garcia, Belén Masiá, 2012, CEIG.

TMQ: Threat model quantification in Smart Grid critical infrastructures

Saman A. Zonouz, Luis Garcia, 2014, 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm).

DDFLOW visualized declarative programming for heterogeneous IoT networks on Heliot testbed platform: demo abstract

Mani B. Srivastava, Luis Garcia, Sandeep Singh Sandha, 2019, IoTDI.

Panel Discussion: Sharing Water in Times of Stress and Scarcity

Luis Garcia, Evan Vlachos, Rodrigo Maia, 2008 .

A new scalable parallel adder based on spiking neural P systems, dendritic behavior, rules on the synapses and astrocyte-like control to compute multiple signed numbers

Héctor M. Pérez Meana, Luis Garcia, Gabriel Sanchez, 2018, Neurocomputing.

Hey, My Malware Knows Physics! Attacking PLCs with Physical Model Aware Rootkit

Osama A. Mohammed, Ahmad-Reza Sadeghi, Saman A. Zonouz, 2017, NDSS.

Preliminary performance evaluation of a high resolution small animal PET scanner with monolithic crystals and depth-of-interaction encoding

Luis Garcia, George Kontaxakis, Mercedes Delgado, 2008, 2008 8th IEEE International Conference on BioInformatics and BioEngineering.

Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures

Saman A. Zonouz, Luis Garcia, Zhenqi Huang, 2018, 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Maximal Singularity-Free Orientation Subregions Associated with Initial Parallel Manipulator Configuration

Luis Garcia, Alexandre Campos, Luis Garcia, 2018, Robotics.

Virtual Robot Control by LabView® SolidWorks® and Data Acquisition Systems Connection

Luis Garcia, Allan Burke, David Espinosa, 2014 .

DDFlow: visualized declarative programming for heterogeneous IoT networks

Mani B. Srivastava, Luis Garcia, Joseph Noor, 2019, IoTDI.

Identifying Causal Effects with Computer Algebra

Seth Sullivant, Luis Garcia, Sarah Spielvogel, 2010, UAI.

A highly scalable parallel spike-based digital neuromorphic architecture for high-order fir filters using LMS adaptive algorithm

Héctor M. Pérez Meana, Luis Garcia, Karina Toscano-Medina, 2019, Neurocomputing.

DeepCEP: Deep Complex Event Processing Using Distributed Multimodal Information

Alun D. Preece, Mani B. Srivastava, Tianwei Xing, 2019, 2019 IEEE International Conference on Smart Computing (SMARTCOMP).

Weight change and health outcomes at 3 years after bariatric surgery among individuals with severe obesity.

Luis Garcia, Alfons Pomp, Nicholas J Christian, 2013, JAMA.