A searchable index of IOTrust Lab papers and results.

ICSTracker: Backtracking Intrusions in Modern Industrial Control Systems

Md Raihan Ahmed, Jainta Paul, Levi Taiji Li, Luis Garcia, Mu Zhang

2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

Trim My View: An LLM-Based Code Query System for Module Retrieval in Robotic Firmware

Sima Arasteh, Pegah Jandaghi, Nicolaas Weideman, Dennis Perepech, Mukund Raghothaman, Christophe Hauser, Luis Garcia

arXiv preprint arXiv:2503.03969

Leaking Through the Physics: Covert Cyber-Physical Data Exfiltration Through Unobserved Physics

Matthew Chan$^1$, Luis Garcia, Nathaniel Snyder, Marcus Lucas

Security and Privacy in Cyber-Physical Systems and Smart Vehicles: Second EAI International Conference, SmartSP 2024, New Orleans, LA, USA, November 7--8, 2024, Proceedings

SPHERE CPS Enclave: A Reconfigurable Testbed for Industrial Control System Security Experimentation

Luis Garcia, Jelena Mirkovic, David Balenson, Erik Kline, Yuri Pradkin, David Choffnes, Daniel Dubois, Terry Benzel, Srivatsan Ravi, Joseph Barnes, others

Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)

Detecting Context Shifts in the Human Experience Using Multimodal Foundation Models

Iris Nguyen, Liying Han, Burke Dambly, Alireza Kazemi, Marina Kogan, Cory Inman, Mani Srivastava, Luis Garcia

Proceedings of the 23rd ACM Conference on Embedded Networked Sensor Systems

HyTwin: Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems

Jainta Paul, Stefan Mitsch, Luis Garcia

NASA Formal Methods Symposium

Property-Guided Cyber-Physical Reduction and Surrogation for Safety Analysis in Robotic Vehicles

Nazmus Shakib Sayom, Luis A Garcia

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

This paper proposes property-guided reduction and surrogate execution for falsifying safety properties in robotic vehicle systems. The method isolates controller logic and physical dynamics relevant to a target specification, then uses lightweight surrogate models with trace analysis and temporal-logic oracles to search for safety violations.

Lost in Tracking Translation: A Comprehensive Analysis of Visual SLAM in Human-Centered XR and IoT Ecosystems

Yasra Chandio, Khotso Selialia, Joseph DeGol, Luis Garcia, Fatima M Anwar

ACM Transactions on Sensor Networks (TOSN)

A Neurosymbolic Approach to Adaptive Feature Extraction in SLAM

Yasra Chandio, Momin A Khan, Khotso Selialia, Luis Garcia, Joseph DeGol, Fatima M Anwar

2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Understanding factors behind IoT privacy--A user's perspective on RF sensors

Akash Deep Singh, Brian Wang, Luis Garcia, Xiang Chen, Mani Srivastava

arXiv e-prints

Collaborative Research: NCS: FO: Enhancing Episodic Memory through Real-world Integration of Brain Recording and Stimulation with Semantic Alignment of Human and IoT Perception

Luis A Garcia

NSF Award Number 2435642. Directorate for Computer and Information Science and Engineering

Poster: Security and Privacy Heterogeneous Environment for Reproducible Experimentation (SPHERE)

Jelena Mirkovic, David Balenson, Brian Kocoloski, Geoff Lawler, Chris Tran, Joseph Barnes, Yuri Pradkin, Terry Benzel, Srivatsan Ravi, Ganesh Sankaran, others

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security

Locomote: Ai-driven sensor tags for fine-grained undersea localization and sensing

Swapnil Sayan Saha, Caden Davis, Sandeep Singh Sandha, Junha Park, Joshua Geronimo, Luis Antonio Garcia, Mani B Srivastava

IEEE Sensors Journal

Understanding factors behind IoT privacy--A user's perspective on RF sensors

Akash Deep Singh, Brian Wang, Luis Garcia, Xiang Chen, Mani Srivastava

arXiv preprint arXiv:2401.08037

PrivacyOracle: Configuring Sensor Privacy Firewalls with Large Language Models in Smart Built Environments

Brian Wang, Luis Antonio Garcia, Mani Srivastava

2024 IEEE Security and Privacy Workshops (SPW)

HealthSec'24: First ACM CCS Workshop on Cybersecurity in Healthcare

William Yurcik, Gregory Pluta, Toan Luong, Luis Garcia

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security

Continuous Stress Monitoring for Healthcare Workers: Evaluating Generalizability Across Real-World Datasets

Jordan Li Cahoon, Luis Antonio Garcia

Proceedings of the 14th ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics

SensorLoader: Bridging the Gap in Cyber-Physical Reverse Engineering Across Embedded Peripheral Devices

Anmei Dasbach-Prisk, Cory Dewitt, Luis Garcia

Proceedings of the First International Workshop on Security and Privacy of Sensing Systems

Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers

Luis A Garcia

NSF Award Number 2425711. Directorate for Computer and Information Science and Engineering

Why Don't You Clean Your Glasses? Perception Attacks with Dynamic Optical Perturbations

Yi Han, Matthew Chan, Eric Wengrowski, Zhuohuan Li, Nils Ole Tippenhauer, Mani Srivastava, Saman Zonouz, Luis Garcia

arXiv preprint arXiv:2307.13131

X-CHAR: A Concept-based Explainable Complex Human Activity Recognition Model

Jeya Vikranth Jeyakumar, Ankur Sarker, Luis Antonio Garcia, Mani Srivastava

Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies

Towards Cross-Physical-Domain Threat Inference for Industrial Control System Defense Adaptation

Jainta Paul, Lawrence Ponce, Mu Zhang, Luis Garcia

Proceedings of the 2024 Workshop on Re-design Industrial Control Systems with Security

Inertial Navigation on Extremely Resource-Constrained Platforms: Methods, Opportunities and Challenges

Swapnil Sayan Saha, Yayun Du, Sandeep Singh Sandha, Luis Antonio Garcia, Mohammad Khalid Jawed, Mani Srivastava

2023 IEEE/ION Position, Location and Navigation Symposium (PLANS)

Eagle: End-to-end Deep Reinforcement Learning based Autonomous Control of PTZ Cameras

Sandeep Singh Sandha, Bharathan Balaji, Luis Garcia, Mani Srivastava

Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation

Eagle: End-to-end Deep Reinforcement Learning based Autonomous Control of PTZ Cameras

Sandeep Singh Sandha, Bharathan Balaji, Luis Garcia, Mani Srivastava

arXiv e-prints

DeepProbCEP: A neuro-symbolic approach for complex event processing in adversarial settings

Marc Roig Vilamala, Tianwei Xing, Harrison Taylor, Luis Garcia, Mani Srivastava, Lance Kaplan, Alun Preece, Angelika Kimmig, Federico Cerutti

Expert Systems with Applications

Systems and Methods for Using Ultrawideband Audio Sensing Systems

Ziqi Wang, Mani Srivastava, Akash Deep Singh, Luis Garcia, Zhe Chen, Jun Luo

PhysioGAN: Training High Fidelity Generative Model for Physiological Sensor Readings

Moustafa Alzantot, Luis Garcia, Mani Srivastava

arXiv preprint arXiv:2204.13597

NS3: Neuro-symbolic semantic code search

Shushan Arakelyan, Anna Hakhverdyan, Miltiadis Allamanis, Luis Garcia, Christophe Hauser, Xiang Ren

Advances in Neural Information Processing Systems

Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers

Luis A Garcia

NSF Award Number 2220312. Directorate for Computer and Information Science and Engineering

Explaining Deep Learning Models for Per-packet Encrypted Network Traffic Classification

Luis Garcia, Genevieve Bartlett, Srivatsan Ravi, Harun Ibrahim, Wes Hardaker, Erik Kline

2022 IEEE International Symposium on Measurements \& Networking (M\&N)

Safety in the Emerging Holodeck Applications

Shahram Ghandeharizadeh, Luis Garcia

arXiv preprint arXiv:2208.08398

Automatic Concept Extraction for Concept Bottleneck-based Video Classification

Jeya Vikranth Jeyakumar, Luke Dickens, Luis Garcia, Yu-Hsi Cheng, Diego Ramirez Echavarria, Joseph Noor, Alessandra Russo, Lance Kaplan, Erik Blasch, Mani Srivastava

arXiv preprint arXiv:2206.10129

Reverse engineering and retrofitting robotic aerial vehicle control firmware using dispatch

Taegyu Kim, Aolin Ding, Sriharsha Etigowni, Pengfei Sun, Jizhou Chen, Luis Garcia, Saman Zonouz, Dongyan Xu, Dave Tian

Proceedings of the 20th Annual International Conference on Mobile Systems, Applications and Services

Modeling Human-Cyber Interactions in Safety-Critical Cyber-Physical/Industrial Control Systems

Steven Ngo, Dave DeAngelis, Luis Garcia

2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems (MASS)

Tinyodom: Hardware-aware efficient neural inertial navigation

Swapnil Sayan Saha, Sandeep Singh Sandha, Luis Antonio Garcia, Mani Srivastava

Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies

Distributed computing for internet of things under adversarial environments

Gowri Sankar Ramachandran, Luis A Garcia, Bhaskar Krishnamachari

IoT for Defense and National Security

Automatic Concept Extraction for Concept Bottleneck-based Video Classification

Jeya Vikranth Jeyakumar, Luke Dickens, Luis Garcia, Yu-Hsi Cheng, Diego Ramirez Echavarria, Joseph Noor, Alessandra Russo, Lance Kaplan, Erik Blasch, Mani Srivastava

arXiv e-prints

AutoCPS: Control Software Dataset Generation for Semantic Reverse Engineering

Haoda Wang, Christophe Hauser, Luis Garcia

2022 IEEE Security and Privacy Workshops (SPW)

Mini-Me, You Complete Me! Data-Driven Drone Security via DNN-based Approximate Computing

Aolin Ding, Praveen Murthy, Luis Garcia, Pengfei Sun, Matthew Chan, Saman Zonouz

24th International Symposium on Research in Attacks, Intrusions and Defenses

Aerogel: Lightweight Access Control Framework for WebAssembly-Based Bare-Metal IoT Devices

Renju Liu, Luis Garcia, Mani Srivastava

2021 IEEE/ACM Symposium on Edge Computing (SEC)

SecDeep: Secure and Performant On-device Deep Learning Inference Framework for Mobile and IoT Devices

Renju Liu, Luis Garcia, Zaoxing Liu, Botong Ou, Mani Srivastava

Proceedings of the International Conference on Internet-of-Things Design and Implementation

Using DeepProbLog to perform Complex Event Processing on an Audio Stream

Marc Roig Vilamala, Tianwei Xing, Harrison Taylor, Luis Garcia, Mani Srivastava, Lance Kaplan, Alun Preece, Angelika Kimmig, Federico Cerutti

arXiv e-prints

Sim2real transfer for deep reinforcement learning with stochastic state transition delays

Sandeep Singh Sandha, Luis Garcia, Bharathan Balaji, Fatima Anwar, Mani Srivastava

Conference on Robot Learning

I Always Feel Like Somebody's Sensing Me! A Framework to Detect, Identify, and Localize Clandestine Wireless Sensors

Akash Deep Singh, Luis Garcia, Joseph Noor, Mani Srivastava

30th USENIX Security Symposium (USENIX Security 21)

Poster: Known Vulnerability Detection for WebAssembly Binaries

Pengfei Sun, Luis Garcia, Yi Han, Saman Zonouz, Yao Zhao

Poster: Known Vulnerability Detection for WebAssembly Binaries

Using DeepProbLog to perform Complex Event Processing on an Audio Stream

Marc Roig Vilamala, Tianwei Xing, Harrison Taylor, Luis Garcia, Mani Srivastava, Lance Kaplan, Alun Preece, Angelika Kimmig, Federico Cerutti

arXiv preprint arXiv:2110.08090

PERFUME: Programmatic Extraction and Refinement for Usability of Mathematical Expression

Nicolaas Weideman, Virginia K Felkner, Wei-Cheng Wu, Jonathan May, Christophe Hauser, Luis Garcia

Proceedings of the 2021 Research on offensive and defensive techniques in the Context of Man At The End (MATE) Attacks

DeepSQA: Understanding Sensor Data via Question Answering

Tianwei Xing, Luis Garcia, Federico Cerutti, Lance Kaplan, Alun Preece, Mani Srivastava

Proceedings of the International Conference on Internet-of-Things Design and Implementation

Control behavior integrity for distributed cyber-physical systems

Sridhar Adepu, Ferdinand Brasser, Luis Garcia, Michael Rodler, Lucas Davi, Ahmad-Reza Sadeghi, Saman Zonouz

2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)

An Experimentation Platform for Explainable Coalition Situational Understanding

Katie Barrett-Powell, Jack Furby, Liam Hiley, Marc Roig Vilamala, Harrison Taylor, Federico Cerutti, Alun Preece, Tianwei Xing, Luis Garcia, Mani Srivastava, others

arXiv preprint arXiv:2010.14388

How can i explain this to you? an empirical study of deep neural network explanation methods

Jeya Vikranth Jeyakumar, Joseph Noor, Yu-Hsi Cheng, Luis Garcia, Mani Srivastava

Advances in Neural Information Processing Systems

A Hybrid Neuro-Symbolic Approach for Complex EventProcessing

Marc Roig Vilamala, Harrison Taylor, Tianwei Xing, Luis Garcia, Mani Srivastava, Lance Kaplan, Alun Preece, Angelika Kimmig, Federico Cerutti

arXiv e-prints

Don't Just BYOD, Bring-Your-Own-App Too! Protection via Virtual Micro Security Perimeters

Gabriel Salles-Loustau, Vidyasagar Sadhu, Luis Garcia, Kaustubh Joshi, Dario Pompili, Saman Zonouz

IEEE Transactions on Mobile Computing

I Always Feel Like Somebody's Sensing Me! A Framework to Detect, Identify, and Localize Clandestine Wireless Sensors

Akash Deep Singh, Luis Garcia, Joseph Noor, Mani Srivastava

University of California, Los Angeles

Hybrid firmware analysis for known mobile and iot security vulnerabilities

Pengfei Sun, Luis Garcia, Gabriel Salles-Loustau, Saman Zonouz

2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

A Hybrid Neuro-Symbolic Approach for Complex EventProcessing

Marc Roig Vilamala, Harrison Taylor, Tianwei Xing, Luis Garcia, Mani Srivastava, Lance Kaplan, Alun Preece, Angelika Kimmig, Federico Cerutti

arXiv preprint arXiv:2009.03420

UWHear: through-wall extraction and separation of audio vibrations using wireless signals

Ziqi Wang, Zhe Chen, Akash Deep Singh, Luis Garcia, Jun Luo, Mani B Srivastava

Proceedings of the 18th Conference on Embedded Networked Sensor Systems

Neuroplex: learning to detect complex events in sensor networks through knowledge injection

Tianwei Xing, Luis Garcia, Marc Roig Vilamala, Federico Cerutti, Lance Kaplan, Alun Preece, Mani Srivastava

Proceedings of the 18th Conference on Embedded Networked Sensor Systems

Securing Time in Untrusted Operating Systems with TimeSeal

Fatima M Anwar, Luis Garcia, Xi Han, Mani Srivastava

2019 IEEE Real-Time Systems Symposium (RTSS)

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

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

Luis Garcia, Stefan Mitsch, Andr{\'e} Platzer

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems

$\{$PAtt$\}$: Physics-based Attestation of Control Systems

Hamid Reza Ghaeini, Matthew Chan, Raad Bahmani, Ferdinand Brasser, Luis Garcia, Jianying Zhou, Ahmad-Reza Sadeghi, Nils Ole Tippenhauer, Saman Zonouz

22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019)

RemedIoT: Remedial actions for Internet-of-Things conflicts

Renju Liu, Ziqi Wang, Luis Garcia, Mani Srivastava

Proceedings of the 6th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation

Ddflow: visualized declarative programming for heterogeneous iot networks

Joseph Noor, Hsiao-Yun Tseng, Luis Garcia, Mani Srivastava

Proceedings of the International Conference on Internet of Things Design and Implementation

The Case for Robust Adaptation: Autonomic Resource Management is a Vulnerability

Joseph Noor, Ahmed Ali-Eldin, Luis Garcia, Chirag Rao, Venkat R Dasari, Deepak Ganesan, Brian Jalaian, Prashant Shenoy, Mani Srivastava

MILCOM 2019-2019 IEEE Military Communications Conference (MILCOM)

Radhar: Human activity recognition from point clouds generated through a millimeter-wave radar

Akash Deep Singh, Sandeep Singh Sandha, Luis Garcia, Mani Srivastava

Proceedings of the 3rd ACM Workshop on Millimeter-wave Networks and Sensing Systems

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

Pengfei Sun, Luis Garcia, Saman Zonouz

2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

A hybrid neural-symbolic approach to uncertainty-aware complex event detection

Tianwei Xing, Marc Roig Vilamala, Luis Garcia, Paul Sullivan, Federico Cerutti, Lance Kaplan, Alun Preece, Mani Srivastava

Workshop on Distributed Analytics InfraStructure and Algorithms for Multi-Organization Federations 2019

Deepcep: Deep complex event processing using distributed multimodal information

Tianwei Xing, Marc Roig Vilamala, Luis Garcia, Federico Cerutti, Lance Kaplan, Alun Preece, Mani Srivastava

2019 IEEE International Conference on Smart Computing (SMARTCOMP)

Method for verifying the integrity of an additive manufacturing process

Saman Zonouz, Mehdi Javanmard, Raheem Beyah, Luis A Garcia, Tuan-anh Le, Christian Bayens

Google Patents

Post-Print Physical Vetting of 3D Prints with Minimal Embedded Nano-Material Assessor

Saman Aliari Zonouz, Mehdi Javanmard, Abdul Beyah, Luis Garcia, Tuan-Anh Le, Christopher Bayens

Physics for the sake of security, security for the sake of physics

Luis Garcia

Algorithmic attack synthesis using hybrid dynamics of power grid critical infrastructures

Zhenqi Huang, Sriharsha Etigowni, Luis Garcia, Sayan Mitra, Saman Zonouz

2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

Dynamic memory protection via intel sgx-supported heap allocation

Saman Zonouz, Mingbo Zhang, Pengfei Sun, Luis Garcia, Xiruo Liu

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)

See no evil, hear no evil, feel no evil, print no evil? malicious fill patterns detection in additive manufacturing

Christian Bayens, Tuan Le, Luis Garcia, Raheem Beyah, Mehdi Javanmard, Saman Zonouz

26th USENIX Security Symposium (USENIX Security 17)

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

Luis Garcia, Ferdinand Brasser, Mehmet Hazar Cintuglu, Ahmad-Reza Sadeghi, Osama A Mohammed, Saman A Zonouz

NDSS

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

Gabriel Salles-Loustau, Luis Garcia, Pengfei Sun, Maryam Dehnavi, Saman Zonouz

2017 IEEE International Conference on Smart Grid Communications (SmartGridComm)

Cyber-Physical Security Assessment (CyPSA) Toolset

Luis Garcia, Panini Patapanchala, Saman Zonouz, Kate Davis, Matt Davis, Robin Berthier, Mouna Bamba, Olivier Soubigou, Vishnu Priya Rayala, Gabe Weaver, others

Detecting PLC control corruption via on-device runtime verification

Luis Garcia, Saman Zonouz, Dong Wei, Leandro Pfleger De Aguiar

2016 Resilience Week (RWS)

Don't Just BYOD, Bring-Your-Own-App Too! Protection via Virtual Micro Security Perimeters

Gabriel Salles-Loustau, Luis Garcia, Kaustubh Joshi, Saman Zonouz

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

A cyber-physical modeling and assessment framework for power grid infrastructures

Katherine R Davis, Charles M Davis, Saman A Zonouz, Rakesh B Bobba, Robin Berthier, Luis Garcia, Peter W Sauer

IEEE Transactions on smart grid

Covert channel communication through physical interdependencies in cyber-physical infrastructures

Luis Garcia, Henry Senyondo, Stephen McLaughlin, Saman Zonouz

2014 IEEE International Conference on Smart Grid Communications (SmartGridComm)

TMQ: threat model quantification in smart grid critical infrastructures

Luis Garcia, Saman Zonouz

2014 IEEE International Conference on Smart Grid Communications (SmartGridComm)

2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)| 979-8-3315-1201-9/25/$31.00{\copyright} 2025 IEEE| DOI: 10.1109/DSN64029. 2025.00073

Abdulhamid Adebayo, Md Raihan Ahmed, Sam Ainsworth, Kemal Akkaya, Homa Alemzadeh, Mohannad Alhanahnah, Ghada Almashaqbeh, Gheorghe Almasi, Eric Andrechek, Martin Andreoni, others

Journal: Proceedings of the International Conference on Internet-of-Things Design and Implementation, 2021

Renju Liu, Luis Garcia, Zaoxing Liu, Botong Ou, Mani Srivastava

Poster: SPHERE: A National Testbed for Reproducible Cybersecurity and Privacy Research

Jelena Mirkovic, David Balenson, Erik Kline, David Choffnes, Daniel Dubois, Geoff Lawler, Joseph Barnes, Yuri Pradkin, Christopher Tran, Srivatsan Ravi, others

Poster: Towards Robust Semantic Reverse Engineering of Control System Binaries

Pengfei Sun, Luis Garcia, Saman Zonouz

Towards Maintaining and Reusing Complex Event Processing Systems

Marc Roig Vilamala, Mark Law, Harrison Taylor, Tianwei Xing, Luis Garcia, Dave Braines, Dan Cunnington, Graham White, Alessandra Russo, Mani Srivastava, others

SPECIAL SECTION ON CYBER PHYSICAL SYSTEMS AND SECURITY FOR SMART GRID

J Yao, P Venkitasubramaniam, X Liu, P Zhu, Y Zhang, K Chen, R Liu, C Vellaithurai, SS Biswas, TT Gamage, others

Dynamic Memory Protection via Intel SGX-Supported Heap Allocation

Mingbo Zhang, Luis Garcia, Xiruo Liu, Pengfei Sun, Saman Zonouz