Rewrite Rules for Automated Depth Reduction of Encrypted Control Expressions with Somewhat Homomorphic Encryption

Shane Kosieradzki, Yingxin Qiu, Kiminao Kogiso, Jun Ueda. Rewrite Rules for Automated Depth Reduction of Encrypted Control Expressions with Somewhat Homomorphic Encryption. In IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM 2022, Sapporo, Japan, July 11-15, 2022. pages 804-809, IEEE, 2022. [doi]

Abstract

Abstract is missing.