| Title | Encrypted LQG Using Labeled Homomorphic Encryption |
| Publication Type | Conference Paper |
| Year of Publication | 2019 |
| Authors | Alexandru, Andreea B., Pappas, George J. |
| Conference Name | Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems |
| Publisher | Association for Computing Machinery |
| Conference Location | Montreal, Quebec, Canada |
| ISBN Number | 978-1-4503-6285-6 |
| Keywords | compositionality, encrypted control, encryption audits, Metrics, privacy and security, pubcrawl, resilience, Resiliency |
| Abstract | We consider the problem of implementing a Linear Quadratic Gaussian (LQG) controller on a distributed system, while maintaining the privacy of the measurements, state estimates, control inputs and system model. The component sub-systems and actuator outsource the LQG computation to a cloud controller and encrypt their signals and matrices. The encryption scheme used is Labeled Homomorphic Encryption, which supports the evaluation of degree-2 polynomials on encrypted data, by attaching a unique label to each piece of data and using the fact that the outsourced computation is known by the actuator. We write the state estimate update and control computation as multivariate polynomials in the encrypted data and propose an extension to the Labeled Homomorphic Encryption scheme that achieves the evaluation of low-degree polynomials on encrypted data, with degree larger than two. We showcase the numerical results of the proposed protocol for a temperature control application that indicates competitive online times. |
| DOI | 10.1145/3302509.3311049 |
| Citation Key | alexandru_encrypted_2019 |
Encrypted LQG Using Labeled Homomorphic Encryption