TY - RPRT TI - Provable Security and Resilience in Critical Infrastructure – Next Steps AU - Shannon, Greg [Idaho National Laboratory] (ORCID:0000000179110736) AU - Joneckis, Lance Gregory [Idaho National Laboratory] PY - 2025 UR - https://www.osti.gov/biblio/3375988 ID - 3375988 ER -