Projects
Funded systems work, from formal stacks to field testbeds.
A structured index of IOTrust Lab projects by agency, status, and timeline.
- Projects
- 5
- Active
- 3
- Agencies
- 3
Timeline coverage: 2020-2024
Agency
NSF
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
DetailsFMitF: 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
DetailsNCS: Memory via Real-world Integration of Brain & IoT Perception (NSF 2435642)
NSF NCS established the NeurIoT foundation for synchronizing brain recordings with real-world multimodal sensing to study memory-relevant behavior and support context-aware neurotechnology research.
NSF NCS (NeurIoT)
DetailsAgency
NIH
Agency