Rewrite Rules for Automated Depth Reduction of Encrypted Control Expressions with Somewhat Homomorphic Encryption | IEEE Conference Publication | IEEE Xplore