Search papers, labs, and topics across Lattice.
This paper introduces a novel verification algorithm for linear dynamic encrypted control that leverages system-theoretic input-output properties to validate computations performed in the cloud. By employing artificial challenge signals processed in parallel with control inputs, the method ensures the integrity of results with minimal computational overhead and high detection probability for incorrect outputs. The approach effectively mitigates risks of replay attacks, marking a significant advancement in secure cloud-based control systems.
Almost no computational overhead while ensuring high integrity verification for cloud-based encrypted control computations.
Encrypted control can preserve the privacy of data and parameters while the necessary computations can be outsourced to a cloud server. To ensure the integrity of the received values from the cloud, i.e., that they have not been changed, however, strong assumptions or verification algorithms are needed. Previous methods require computationally expensive cryptographic protocols or are only applicable to static computations. In this paper, we present a novel type of verification algorithm for linear dynamic encrypted control. We utilize system-theoretic input-output properties of the controller for artificial challenge signals, which are processed in the cloud in parallel with the requested control input, to check the correctness of the results at the plant. This results in almost no additional computational load, wrong computations are revealed with high probability, and no replay attacks are possible.
