Research
Research themes with projects, papers, and implementation paths.
Browse the lab's major research directions and follow each theme into funded work and publications.
- Themes
- 5
- Active projects
- 3
- Tagged areas
- 5
Research Theme
Cyber-Physical Systems Security & Semantics
We recover system semantics from legacy and modern cyber-physical systems, then use that structure to test, harden, and explain behavior in physical testbeds.
Linked Projects
Selected Papers
2025 / 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
ICSTracker: Backtracking Intrusions in Modern Industrial Control Systems
2025 / Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)
SPHERE CPS Enclave: A Reconfigurable Testbed for Industrial Control System Security Experimentation
2022 / 2022 IEEE Security and Privacy Workshops (SPW)
AutoCPS: Control Software Dataset Generation for Semantic Reverse Engineering
2019 / Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems
HyPLC: Hybrid programmable logic controller program translation for verification
Research Theme
Digital Twins & Formal Verification
We build fidelity-aware twins that connect hybrid models, runtime traces, and verification workflows for safer design decisions.
Linked Projects
Selected Papers
2025 / Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)
SPHERE CPS Enclave: A Reconfigurable Testbed for Industrial Control System Security Experimentation
2025 / NASA Formal Methods Symposium
2023 / NSF Award Number 2425711. Directorate for Computer and Information Science and Engineering
2019 / 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019)
Research Theme
IoT & Sensor Privacy
Privacy-preserving sensing and information flow for trustworthy ubiquitous systems, from edge to cloud.
Linked Projects
Related funded work will appear here as this theme develops.
Selected Papers
2024 / arXiv preprint arXiv:2401.08037
Understanding factors behind IoT privacy--A user's perspective on RF sensors
2024 / 2024 IEEE Security and Privacy Workshops (SPW)
2021 / Proceedings of the International Conference on Internet-of-Things Design and Implementation
2021 / 30th USENIX Security Symposium (USENIX Security 21)
Research Theme
Brain-Centered CPS / NeuroIoT
We study human-in-the-loop CPS that combines neural and environmental sensing with multimodal, memory-centered modeling.
Linked Projects
Selected Papers
2025 / Proceedings of the 23rd ACM Conference on Embedded Networked Sensor Systems
Detecting Context Shifts in the Human Experience Using Multimodal Foundation Models
2024 / NSF Award Number 2435642. Directorate for Computer and Information Science and Engineering
2023 / Proceedings of the 14th ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics
2020 / Proceedings of the 18th Conference on Embedded Networked Sensor Systems
Neuroplex: learning to detect complex events in sensor networks through knowledge injection
Research Theme
Digital Twinning for Industrial Control Systems
We build industrial-control twins that connect control code, process models, and testbeds for validation, conformance checking, and mitigation synthesis.
Linked Projects
Selected Papers
2025 / 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
ICSTracker: Backtracking Intrusions in Modern Industrial Control Systems
2025 / Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)
SPHERE CPS Enclave: A Reconfigurable Testbed for Industrial Control System Security Experimentation
2025 / NASA Formal Methods Symposium
2019 / Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems
HyPLC: Hybrid programmable logic controller program translation for verification