Cybersecurity and Cyber–Physical Resilience

Project Highlights


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 Project Type Project Status
FUNPAC: Firmware Updates Need Proof-Accompanied Code 21-ERD-040 Exploratory Research Final
Project Rosetta Stone 23-FS-014 Feasibility Study Final
ThornedThymus: An Adaptive Immune System for the Software Supply Chain 22-SI-005 Strategic Initiative Continuing
Watching the Watchers with Verified Formal Assurance Tools 23-ERD-024 Exploratory Research Continuing