University of Utah research lab

IoTrust Lab

Trustworthy autonomy starts with systems we can explain, test, and defend.

We connect semantic reasoning, digital twins, human-centered sensing, and real CPS testbeds into practical evidence for autonomous systems.

Research Themes

View all themes →
CPS Security

Cyber-Physical Systems Security & Semantics

Toggle details for Cyber-Physical Systems Security & Semantics
Digital Twins

Digital Twins & Formal Verification

Toggle details for Digital Twins & Formal Verification
Sensor Privacy

IoT & Sensor Privacy

Toggle details for IoT & Sensor Privacy
NeuroIoT

Brain-Centered CPS / NeuroIoT

Toggle details for Brain-Centered CPS / NeuroIoT
ICS Twins

Digital Twinning for Industrial Control Systems

Toggle details for Digital Twinning for Industrial Control Systems
NSF Mid-Scale RI2024–2028

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.

Project details
NSF FMitF2022–2025

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.

Project details
NIH2024–2029

Neuroscience-in-the-Wild: Memory & Sensor Fusion

This project integrates smartphone-based experiential sensing, wearables, and intracranial neural recordings to study autobiographical memory formation during real-world behavior and to inform future memory-enhancing neuromodulation.

Project details

Recent Publications

Browse all publications →

Courses

Teaching

View all courses →

CS/ECE 3700

Undergraduate

CS/ECE 3700: Digital Systems Design

Introductory digital logic and systems design course covering finite state machines, timing analysis, CMOS circuits, and FPGA architectures. Students learn to design and implement digital systems using hardware description languages.

Spring 2024Spring 2025

CS 6963/5963

Graduate

CS 6963/5963: CPS/IoT Security and Safety

Graduate-level project-based course exploring security and safety challenges in cyber-physical and IoT systems. Students work on real-world projects involving industrial control systems, sensor networks, and autonomous systems security.

Fall 2023Fall 2024

CSCI 430

Undergraduate

CSCI 430: Introduction to Computer and Network Security

Undergraduate introduction to computer and network security covering applied cryptography, network threats, system vulnerabilities, and security protocols. Hands-on labs with penetration testing and secure coding practices.

Spring 2023

People

Research Team

View all people →

Principal Investigator

Postdoctoral Researchers

PhD Students

Master's Students

Undergraduate Researchers

Alumni

Furry Members

Ruth

Ruth

Lab Overseer

Luis's morale auditor and snack-security supervisor, with an occasional sea-shanty stress test for the lab.

Valentina "Valley"

Valentina "Valley"

Chief Purring Officer

Sayom's keyboard-thermal specialist, paper-stack reorganizer, and late-night debugging supervisor.

Opportunities

Work With Us

Share the research problem you want to work on, the systems you have built, and how it connects to trustworthy CPS.

Prospective Students

PhD and undergraduate researchers interested in CPS security, sensing, and autonomy.

Postdoctoral Researchers

Researchers ready to lead focused work across formal methods, testbeds, and trustworthy AI.

Visiting Scholars

Short-term visits around shared systems problems, datasets, and experimental platforms.

Research Collaborators

Academic and industry partners building safer cyber-physical systems in real settings.

Contact

Reach the Lab

Dr. Luis A. Garcia

Assistant Professor

Kahlert School of Computing, University of Utah

Email

University of Utah

Kahlert School of Computing

50 Central Campus Dr

Salt Lake City, Utah 84112

Contact page