@misc{indiciaed448a4ffa704,
  title = {Verifying the Computational Integrity of Power Grid Controls with Zero-Knowledge Proof},
  author = {Chang, Chin-Yao and Macwan, Richard and Murphy, Sinnott},
  year = {2023},
  doi = {10.1109/pesgm52003.2023.10253173},
  url = {https://www.osti.gov/biblio/2222418},
  note = {Source identifier: 2222418}
}