Embedded Files
The full-day workshop will be organized into a morning and an afternoon session, split by a lunch break. The morning session provides an overview of encrypted control and discusses future directions from the perspectives of control, cryptography, and industry. The afternoon session aims to provide a live demonstration using Quanser's experimental devices, and showcases that recent encrypted control methods and cryptosystems can be applied to real-time control despite constraints of functionality, time limits, and spatial resources. By demonstrations on the same application model or the same control problem, pros and cons of the recent methods can be discussed.
Schedule
Session 1: Overview, Current Solutions, and Future Directions in Encrypted Control and Optimization
08:45 - 08:50
08:45 - 08:50
Opening
Opening
08:50 - 09:20
08:50 - 09:20
Recent trends in latency-first fully homomorphic encryption and hardware acceleration
Recent trends in latency-first fully homomorphic encryption and hardware acceleration
(Seunghwan Lee, waLLLnut)
(Seunghwan Lee, waLLLnut)
(Session 2 presentation – rescheduled due to the speaker’s availability)
09:20 - 09:50
09:20 - 09:50
Encrypted control and optimization: Challenges and opportunities
Encrypted control and optimization: Challenges and opportunities
(Moritz Schulze Darup, TU Dortmund)
(Moritz Schulze Darup, TU Dortmund)
(The speaker may be changed to Philipp Binfet (TU Dortmund) due to scheduling constraints.)
09:50 - 10:20
09:50 - 10:20
Sampling-based algorithms for encrypted control
Sampling-based algorithms for encrypted control
(Takashi Tanaka, Purdue Univ.)
(Takashi Tanaka, Purdue Univ.)
Break (10:20 - 10:40)
Break (10:20 - 10:40)
Session 2: Recent Advances in Cryptography and Industry toward Applications
10:40 - 11:10
10:40 - 11:10
Challenges and approaches toward nonlinear dynamic encrypted control
Challenges and approaches toward nonlinear dynamic encrypted control
(Junsoo Kim, SeoulTech)
(Junsoo Kim, SeoulTech)
(Session 1 presentation – moved to Session 2 due to the program rescheduling)
11:10 - 11:40
11:10 - 11:40
Introduction to privacy enhancing technologies and recent trends
Introduction to privacy enhancing technologies and recent trends
(Kyoohyung Han, Samsung SDS)
(Kyoohyung Han, Samsung SDS)
11:40 - 12:10
11:40 - 12:10
Recent advances in homomorphic encryption and its applications
Recent advances in homomorphic encryption and its applications
(Howard Park, DESILO)
Lunch (12:10 - 13:40)
Lunch (12:10 - 13:40)
Session 3: Demonstration Session 1
13:40 - 13:50
13:40 - 13:50
Background and Setup for Demonstration Sessions
13:50 - 14:20
13:50 - 14:20
Implementation of encrypted dynamic controllers with recursive multiplications over Ring-LWE based cryptosystems
Implementation of encrypted dynamic controllers with recursive multiplications over Ring-LWE based cryptosystems
(Joowon Lee, KTH)
14:20 - 14:50
14:20 - 14:50
Encrypted control using ElGamal encryption and its variants
Encrypted control using ElGamal encryption and its variants
(Kaoru Teranishi, Univ. of Osaka)
14:50 - 15:20
14:50 - 15:20
Demonstration of variational encrypted model predictive control on rotary inverted pendulum
Demonstration of variational encrypted model predictive control on rotary inverted pendulum
(Jihoon Suh, Anduril Industries)
(Jihoon Suh, Anduril Industries)
Break (15:20 - 15:40)
Break (15:20 - 15:40)
Session 4: Demonstration Session 2
(Note: Due to changes in presentation arrangements, some sessions may not include live demonstrations.)
15:40 - 16:10
15:40 - 16:10
Encrypted optimal power flow computations across multiple system operators
Encrypted optimal power flow computations across multiple system operators
(Philipp Binfet, TU Dortmund)
16:10 - 16:40
16:10 - 16:40
Encrypted constrained optimization: Towards encrypted MPC
Encrypted constrained optimization: Towards encrypted MPC
(Sebastian Schlor, Univ. of Stuttgart)
16:40 - 17:10
16:40 - 17:10
Practical encrypted control and forensic detection
Practical encrypted control and forensic detection
(Rijad Alisic, MIT)
17:10 - 17:15
17:10 - 17:15
Discussion and Concluding Remarks
Discussion and Concluding Remarks
Page updated
Google Sites
Report abuse