List of English Publication

@inproceedings{CheonKimKimLeeShim20,

title = {Authenticated Computation of Control Signal from Dynamic Controllers},

author = {Jung Hee Cheon and Dongwoo Kim and Junsoo Kim and Seungbeom Lee and Hyungbo Shim},

doi = {https://doi.org/10.1109/CDC42340.2020.9304150},

isbn = {978-1-7281-7447-1},

year  = {2020},

date = {2020-12-16},

urldate = {2020-12-16},

booktitle = {Proc. of 2020 IEEE 59th Conference on Decision and Control},

pages = {3249-3254},

publisher = {IEEE},

address = {Jeju, Korea},

abstract = {Significant concerns on networked control systems are modifications on the control signals caused by a compromise on the network or the controller, since it can cause a devastating behavior or even entire failure of the system. In this paper, we present a fundamental solution to this problem by proposing a new authenticated computation that checks the matrix-vector multiplications-the main arithmetic of a controller-and verifies the updates on the states of the controller. It enables the plant-side not only to check the computation of the controller with much less computational cost than that required for the computation itself, but also to detect any modifications on the control signals.},

keywords = {Secure control system, Verifiable computation},

pubstate = {published},

tppubtype = {inproceedings}

}