@misc{indiciae8ccc55c5f07f,
  title = {Zero-Knowledge Proof-Based Approach for Verifying the Computational Integrity of Power Grid Controls},
  author = {Chin-Yao Chang and Richard Macwan and Sinnott Murphy},
  year = {2022},
  url = {https://arxiv.org/abs/2211.06724},
  note = {Source identifier: 2211.06724}
}