FUNPAC: Firmware Updates Need Proof-Accompanied Code

Stephen Chapin | 21-ERD-040

Executive Summary

We will develop a novel software-based approach to verify the firmware that controls the nation's power grid hardware, mitigating vulnerabilities to defend the system from cyberattack. Successful development and use of this technology will better protect the nation’s energy distribution system from malicious attacks and manipulation.