Publications

(*: corresponding author)

Further methods for encrypted linear dynamic controllers utilizing re-encryption
Junsoo Kim*
IEEE Trans. on Automatic Control, (accepted, to appear in Oct. 2024)
http://dx.doi.org/10.1109/TAC.2024.3386988
https://arxiv.org/abs/2307.16445

Encrypted dynamic control exploiting limited number of multiplications and a method using ring-LWE based cryptosystem
Joowon Lee, Donggil Lee, Junsoo Kim*, and Hyungbo Shim
IEEE Trans. on Systems, Man and Cybernetics: Systems, under revision (major)
https://arxiv.org/abs/2307.03451

Complexity reduction for resilient state estimation of uniformly observable nonlinear systems
Junsoo Kim, Jin Gyu Lee*, Henrik Sandberg, and Karl H. Johansson
IEEE Trans. on Automatic Control, under revision (major)
http://arxiv.org/abs/2304.08983

Distributed resilient observer: Blended dynamics theory meets l1-minimization approach
Donggil Lee, Junsoo Kim*, and Hyungbo Shim
IEEE Control Systems Letters, vol. 7, pp. 2083-2088, June 2023
http://dx.doi.org/10.1109/LCSYS.2023.3284592

Dynamic controller that operates over homomorphically encrypted data for infinite time horizon
Junsoo Kim, Hyungbo Shim*, and Kyoohyung Han
IEEE Trans. on Automatic Control, vol. 68, no. 2, pp. 660-672, Feb. 2023
http://dx.doi.org/10.1109/TAC.2022.3142124
https://arxiv.org/abs/1912.07362

Model-free undetectable attacks on linear systems using LWE-based encryption
Rijad Alisic*, Junsoo Kim, and Henrik Sandberg
IEEE Control Systems Letters, vol. 7, pp. 1249-1254, Jan. 2023
http://dx.doi.org/10.1109/LCSYS.2023.3234004

Comparison of encrypted control approaches and tutorial on dynamic systems using Learning With Errors-based homomorphic encryption
Junsoo Kim, Dongwoo Kim*, Yongsoo Song, Hyungbo Shim, Henrik Sandberg, and Karl H. Johansson
Annual Reviews in Control, vol. 54, pp. 200-218, Oct. 2022
https://doi.org/10.1016/j.arcontrol.2022.10.002
https://arxiv.org/abs/2210.05560

Mixed analog–digital method of designing a heterogeneous network with the desired collective behavior and rapid convergence
Jin Gyu Lee and Junsoo Kim*
Systems and Control Letters, vol. 160, no. 105126, Feb. 2022
https://doi.org/10.1016/j.sysconle.2021.105126

Fully distributed resilient state estimation based on distributed median solver
Jin Gyu Lee, Junsoo Kim, and Hyungbo Shim*
IEEE Trans. on Automatic Control, vol. 65, no. 9, pp 3935-3942, Sep. 2020
http://dx.doi.org/10.1109/TAC.2020.2989275

Detection of sensor attack and resilient state estimation for uniformly observable nonlinear systems having redundant sensors
Junsoo Kim, Chanhwa Lee, Hyungbo Shim*, Yongsoon Eun, and Jin H. Seo
IEEE Trans. on Automatic Control, vol. 64, no. 3, pp. 1162-1169, Mar. 2019
http://dx.doi.org/10.1109/TAC.2018.2840819
https://arxiv.org/abs/1805.07944

Toward a secure drone system: flying with real-time homomorphic authenticated encryption
Jung Hee Cheon, Kyoohyung Han, Seong-Min Hong, H. Jin Kim*, Junsoo Kim, Suseong Kim, Hoseong Seo, Hyungbo Shim, and Yongsoo Song
IEEE Access, vol. 6, pp. 24325-24339, Mar. 2018
http://dx.doi.org/10.1109/ACCESS.2018.2819189

Book Chapter

Comprehensive introduction to fully homomorphic encryption for dynamic feedback controller via LWE-based cryptosystem
Junsoo Kim, Hyungbo Shim*, and Kyoohyung Han
Privacy in Dynamical Systems, Springer, Singapore, 2020
https://doi.org/10.1007/978-981-15-0493-8_10
https://arxiv.org/abs/1904.08025

Conference papers

Learning with errors based dynamic encryption that discloses residue signal for anomaly detection
Yeongjun Jang, Joowon Lee, Junsoo Kim*, Hyungbo Shim
In Proc. of 63th IEEE Conference on Decision and Control, Milan, 2024 (submitted)
https://arxiv.org/abs/2404.02574

Authentication of multi-agent system with verifiable computation
Seungbeom Lee, Dongwoo Kim, Heewon Chung, Junsoo Kim*, and Hyungbo Shim
In Proc. of 63th IEEE Conference on Decision and Control, Milan, 2024 (submitted)

A code-driven tutorial on encrypted control: From pioneering realizations to modern implementations
Nils Schlüter*, Junsoo Kim, and Moritz Schulze Darup
In Proc. of 22nd European Control Conference, Stockholm, 2024 (accepted)
http://arxiv.org/abs/2404.04727

Resilient nonlinear state estimation using the median operation for a network of droop-controlled power inverters
Anne van der Horst, Michelle Chong*, Junsoo Kim, and Henrik Sandberg
In Proc. of 22nd European Control Conference, Stockholm, 2024 (accepted)

Conversion of controllers to have integer state matrix for encrypted control without re-encryption and approximation
Joowon Lee, Donggil Lee, Seungbeom Lee, Junsoo Kim*, and Hyungbo Shim
In Proc. of 62th IEEE Conference on Decision and Control, Marina Bay Sands, 2023
https://doi.org/10.1109/CDC49753.2023.10383200

Simultaneous conversion of state and output matrix for encrypted control
Junsoo Kim*
In Proc. of 23th International Conference on Control, Automation and Systems, Yeosu, 2023

Asymptotic stabilization over encrypted data with limited controller
capacity and time-varying quantizer

Junsoo Kim*, Moritz Schulze Darup, Henrik Sandberg, and Karl H. Johansson
In Proc. of 61th IEEE Conference on Decision and Control, Cancún, 2022
https://doi.org/10.1109/CDC51059.2022.9993215

Encrypted distributed state estimation via affine averaging
Nils Schlüter*, Philipp Binfet, Junsoo Kim, and Moritz Schulze Darup
In Proc. of 61th IEEE Conference on Decision and Control, Cancún, 2022
https://doi.org/10.1109/CDC51059.2022.9992840

Method for running dynamic systems over encrypted data for infinite time horizon without bootstrapping and re-encryption
Junsoo Kim*, Hyungbo Shim, Henrik Sandberg, and Karl H. Johansson
In Proc. of 60th IEEE Conference on Decision and Control, Texas Austin, 2021
https://doi.org/10.1109/CDC45484.2021.9682828

Homomorphic encryption-enabled distance-based distributed formation control with distance mismatch estimators
Mariano Perez Chaher*, Bayu Jayawardhana, and Junsoo Kim
In Proc. of 60th IEEE Conference on Decision and Control, Texas Austin, 2021
https://doi.org/10.1109/CDC45484.2021.9683519

Design procedure for dynamic controllers based on LWE-based homomorphic encryption to operate for infinite time horizon
Junsoo Kim*, Hyungbo Shim, and Kyoohyung Han
In Proc. of 59th IEEE Conference on Decision and Control, Jeju island, 2020
https://doi.org/10.1109/CDC42340.2020.9304509

Distributed aggregation over homomorphically encrypted data under switching networks
Donggil Lee*, Junsoo Kim, and Hyungbo Shim
In Proc. of 59th IEEE Conference on Decision and Control, Jeju island, 2020
https://doi.org/10.1109/CDC42340.2020.9304350

Authenticated computation of control signal from dynamic controllers
Jung Hee Cheon*, Dongwoo Kim, Junsoo Kim, Seungbeom Lee, and Hyungbo Shim
In Proc. of 59th IEEE Conference on Decision and Control, Jeju island, 2020
https://doi.org/10.1109/CDC42340.2020.9304150

Zero-dynamics attack on homomorphically encrypted control system
Joowon Lee*, Junsoo Kim, and Hyungbo Shim
In Proc. of 20th International Conference on Control, Automation and Systems, Busan, 2020
http://dx.doi.org/10.23919/ICCAS50221.2020.9268374

Toward nonlinear dynamic control over encrypted data for infinite time horizon
Junsoo Kim*, Farhad Farokhi, Iman Shames, and Hyungbo Shim
In Proc. of 21st IFAC World Congress, Berlin, 2020
http://arxiv.org/abs/2110.06270

Encrypted state estimation in networked control systems
Junsoo Kim* and Hyungbo Shim
In Proc. of 58th IEEE Conference on Decision and Control, Nice, 2019
http://dx.doi.org/10.1109/CDC40024.2019.9029752

Local identification of sensor attack and distributed resilient state estimation for linear systems
Junsoo Kim*, Jin Gyu Lee, Chanhwa Lee, Hyungbo Shim, and Jin H. Seo
In Proc. of 57th IEEE Conference on Decision and Control, Miami Beach, 2018
http://dx.doi.org/10.1109/CDC.2018.8619126

Need for controllers having integer coefficients in homomorphically encrypted dynamic system
Jung Hee Cheon, Kyoohyung Han, Hyuntae Kim, Junsoo Kim, and Hyungbo Shim*
In Proc. of 57th IEEE Conference on Decision and Control, Miami Beach, 2018
http://dx.doi.org/10.1109/CDC.2018.8619600

Detection of sensor attack and resilient state estimation for uniformly observable nonlinear systems
Junsoo Kim*, Chanhwa Lee, Hyungbo Shim, Yongsoon Eun, and Jin H. Seo
In Proc. of 55th IEEE Conference on Decision and Control, Las Vegas, 2016
http://dx.doi.org/10.1109/CDC.2016.7798445

Encrypting controller using fully homomorphic encryption for security of cyber-physical systems
Junsoo Kim, Chanhwa Lee, Hyungbo Shim*, Jung Hee Cheon, Andrey Kim, Miran Kim, and Yongsoo Song
6th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NECSYS), Tokyo, 2016
http://dx.doi.org/10.1016/j.ifacol.2016.10.392

Patents

Method for processing dynamic data based on homomorphic encryption which carries out unlimited arithmetic operations without bootstrapping and re-encryption of control data
Junsoo Kim and Hyungbo Shim
Korea Patent Registration, 1020220104524, 2022
PCT Application, PCT/KR2021/017080, 2021
https://doi.org/10.8080/1020210006962

Method for dynamic feedback control based on homomorphic encryption which carries out unlimited arithmetic operations without bootstrapping
Hyungbo Shim and Junsoo Kim
Korea Patent Registration, 1020210042668, 2021,
PCT Application, PCT/KR2020/008097, 2020,
US Patent Registration, US11843688B2, 2023
https://doi.org/10.8080/1020190125503
https://patents.google.com/patent/US11843688B2

Method for processing dynamic data by fully homomorphic encryption method
Hyungbo Shim, Jung Hee Cheon, Yongsoo Song, Miran Kim, Junsoo Kim, and Chanhwa Lee
Korea Patent Registration, 1020180092199, 2018,
PCT Application, PCT/KR2017/002479, 2018,
US Patent Registration, US10924262B2, 2021,
https://doi.org/10.8080/1020170017660
https://patents.google.com/patent/US10924262B2/en

Thesis

Homomorphic encryption of linear dynamic controllers to operate for infinite time horizon
Junsoo Kim
Ph.D. Dissertation, Department of Electrical and Computer Engineering, Seoul National University, 2020
(Distinguished Dissertation Award)