Development and Examination of Encrypted Control Systems. - Kiminao Kogiso; Rikuna Baba; Masahiro Kusaka (AIM, 2018)