@misc{a4c882aa18cb4c2c9f7bc18e97ef90e7,
title = "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.",
keywords = "cybersecurity, DARPA, formal methods, formal verification, microgrids, OT security, resilience",
author = "Richard Macwan and Yakoub Nemouchi",
year = "2023",
language = "American English",
series = "Presented at the DARPA Assured Micropatching (AMP) PI Meeting, 24-26 January 2023",
type = "Other",
}