TY - RPRT TI - Zero-Knowledge Proof-Based Approach for Verifying the Computational Integrity of Power Grid Controls AU - Chin-Yao Chang AU - Richard Macwan AU - Sinnott Murphy PY - 2022 UR - https://arxiv.org/abs/2211.06724 ID - 2211.06724 ER -