DOE OSTI · 1922816
Cyber-Resilient Distributed Autonomous Energy Grid
Abstract
The DARPA Assured Micropatching (AMP) program focuses on creating the capability for rapid patching of legacy binaries in mission critical systems leveraging the field of formal methods. NREL's Cyber Resilient TLDRD effort, focuses on leveraging the field of formal methods to develop tools and methods for formally verifiable implementations of security architectures such as Zero Trust Architecture. The presentation at the DARPA AMP PI meeting is primarily inspired by common interests and ongoing work on leveraging Formal Methods for OT cybersecurity.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Macwan, Richard, Nemouchi, Yakoub. 2023-01-25. Cyber-Resilient Distributed Autonomous Energy Grid. https://www.osti.gov/biblio/1922816
Cite the original work for its findings. Save a collection to share your selection of sources.