Cybersecurity and Cyber–Physical Resilience
Project Highlights
FY2023
Click on any of the project titles below to view a brief project summary,
or return to our Project Highlights page to view lists of FY23 projects in other research categories.
| Project Title | Project Code | Principal Investigator | Project Type | Project Status |
|---|---|---|---|---|
| Watching the Watchers with Verified Formal Assurance Tools | 23-ERD-024 | Matthew Sottile | Exploratory Research | Continuing |
| ThornedThymus: An Adaptive Immune System for the Software Supply Chain | 22-SI-005 | Domingo Colon | Strategic Initiative | Continuing |
| FUNPAC: Firmware Updates Need Proof-Accompanied Code | 21-ERD-040 | Stephen Chapin | Exploratory Research | Final |
| Project Rosetta Stone | 23-FS-014 | Nathan Smith | Feasibility Study | Final |
