@misc{indiciaefa0eb9e3283a, title = {Towards Provably Secure Encrypted Control Using Homomorphic Encryption}, author = {Kaoru Teranishi and Kiminao Kogiso}, year = {2022}, doi = {10.1109/cdc51059.2022.9992651}, url = {https://arxiv.org/abs/2210.08849}, note = {Source identifier: 2210.08849} }