← Back to Research

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.

Projects
3
Active
2
Papers
10
Cyber-Physical Systems Security & Semantics

Funded Work

Projects connected to this theme

Active2024–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.

NSF Mid-Scale RI

Project details
Active2022–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.

NSF FMitF

Project details
Completed2020–2021 (18 months)

SMELL-CPS: Symbolic Math Expressions from Low-level Logic in Cyber-Physical Systems

SMELL-CPS developed methods to extract interpretable mathematical expressions and semantic structure from low-level CPS control binaries, enabling reverse engineering, assurance analysis, and downstream automated testing workflows.

DARPA

Project details

Featured Papers

Representative publications

Related Papers

More publications in this area