| Title | Rewrite Rules for Automated Depth Reduction of Encrypted Control Expressions with Somewhat Homomorphic Encryption |
| Publication Type | Conference Paper |
| Year of Publication | 2022 |
| Authors | Kosieradzki, Shane, Qiu, Yingxin, Kogiso, Kiminao, Ueda, Jun |
| Conference Name | 2022 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM) |
| Date Published | jul |
| Keywords | Arithmetic circuits, Associative rewrite, cryptography, cybersecurity, depth, encrypted control, expression simplification, homomorphic encryption, Human Behavior, human factors, Manipulator dynamics, Metrics, Nonlinear dynamical systems, pubcrawl, resilience, Resiliency, Scalability, Software, Software algorithms, torque control |
| Abstract | This paper presents topological sorting methods to minimize the multiplicative depth of encrypted arithmetic expressions. The research aims to increase compatibility between nonlinear dynamic control schemes and homomorphic encryption methods, which are known to be limited by the quantity of multiplicative operations. The proposed method adapts rewrite rules originally developed for encrypted binary circuits to depth manipulation of arithmetic circuits. The paper further introduces methods to normalize circuit paths that have incompatible depth. Finally, the paper provides benchmarks demonstrating the improved depth in encrypted computed torque control of a dynamic manipulator and discusses how achieved improvements translate to increased cybersecurity. |
| DOI | 10.1109/AIM52237.2022.9863395 |
| Citation Key | kosieradzki_rewrite_2022 |
Rewrite Rules for Automated Depth Reduction of Encrypted Control Expressions with Somewhat Homomorphic Encryption