TY - RPRT TI - Verifying the Computational Integrity of Power Grid Controls with Zero-Knowledge Proof AU - Chang, Chin-Yao AU - Macwan, Richard AU - Murphy, Sinnott PY - 2023 DO - 10.1109/pesgm52003.2023.10253173 UR - https://www.osti.gov/biblio/2222418 ID - 2222418 ER -