Cyber-Resilient Distributed Autonomous Energy Grid

Research output: NRELPresentation


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.
Original languageAmerican English
Number of pages14
StatePublished - 2023

Publication series

NamePresented at the DARPA Assured Micropatching (AMP) PI Meeting, 24-26 January 2023

NREL Publication Number

  • NREL/PR-5R00-85142


  • cybersecurity
  • formal methods
  • formal verification
  • microgrids
  • OT security
  • resilience


Dive into the research topics of 'Cyber-Resilient Distributed Autonomous Energy Grid'. Together they form a unique fingerprint.

Cite this