Zero-Knowledge Proof-Based Approach for Verifying the Computational Integrity of Power Grid Controls

CY Chang, R Macwan, S Murphy - arXiv preprint arXiv:2211.06724, 2022 - arxiv.org
The control of future power grids is migrating from a centralized to a distributed/
decentralized scheme to enable a massive penetration of distributed energy resources and …

Verifying the Computational Integrity of Power Grid Controls with Zero-Knowledge Proof

CY Chang, R Macwan, S Murphy - 2023 IEEE Power & Energy …, 2023 - ieeexplore.ieee.org
The control of future power grids is migrating from a centralized to a distributed/
decentralized scheme to enable a massive penetration of distributed energy resources with …

Secure cloud control using verifiable computation

R Mahfouzi, A Aminifar, S Samii… - … Conference on Omni …, 2021 - ieeexplore.ieee.org
Security for outsourced control applications can be provided if the physical plant is enabled
with a mechanism to verify the control signal received from the cloud. Recent developments …

A Verifiable Computing Scheme for Encrypted Control Systems

F Stabile, W Lucia, A Youssef… - IEEE Control Systems …, 2024 - ieeexplore.ieee.org
The proliferation of cloud computing technologies has paved the way for deploying
networked encrypted control systems, offering high performance, remote accessibility and …

A proof-of-authority blockchain-based distributed control system for islanded microgrids

J Yang, J Dai, HB Gooi, HD Nguyen… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
Control systems are significant to the microgrid as they regulate performance parameters
such as frequency, active power, and voltage. Distributed control systems allow direct …

Authenticated computation of control signal from dynamic controllers

JH Cheon, D Kim, J Kim, S Lee… - 2020 59th IEEE …, 2020 - ieeexplore.ieee.org
Significant concerns on networked control systems are modifications on the control signals
caused by a compromise on the network or the controller, since it can cause a devastating …

ZEKRO: Zero-Knowledge Proof of Integrity Conformance

HB Debes, T Giannetsos - … of the 17th International Conference on …, 2022 - dl.acm.org
In the race toward next-generation systems of systems, the adoption of edge and cloud
computing is escalating to deliver the underpinning end-to-end services. To safeguard the …

The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation

D Firsov, B Livshits - Cryptology ePrint Archive, 2024 - eprint.iacr.org
Verifying the verifier in the context of zero-knowledge proof is an essential part of ensuring
the long-term integrity of the zero-knowledge ecosystem. This is vital for both zero …

Blockchain-enabled cyber-secure microgrid control using consensus algorithm

R Mahmud, GS Seo - 2021 IEEE 22nd Workshop on Control …, 2021 - ieeexplore.ieee.org
This paper proposes a distributed control method based on a consensus algorithm for
distributed energy resources (DERs) using blockchain as a secure communication medium …

A Distributed Privacy-Preserving Integrity Verification Framework for the Smart Grid

GS Wagh, S Mishra - 2022 IEEE International Symposium on …, 2022 - ieeexplore.ieee.org
Smart grid functionalities, such as real-time monitoring and load balancing, require smart
metering data collection at frequent time intervals. There are several threats to this data …