TY - RPRT TI - Towards Provably Secure Encrypted Control Using Homomorphic Encryption AU - Kaoru Teranishi AU - Kiminao Kogiso PY - 2022 DO - 10.1109/cdc51059.2022.9992651 UR - https://arxiv.org/abs/2210.08849 ID - 2210.08849 ER -