List of English Publication

@inproceedings{nokey,

title = {Authentication of Multi-agent System with Verifiable Computation and Distributed Aggregation},

author = {Seungbeom Lee and Dongwoo Kim and Heewon Chung and Junsoo Kim and Hyungbo Shim},

doi = {10.1109/CDC56724.2024.10886336},

year  = {2024},

date = {2024-12-16},

urldate = {2024-12-16},

booktitle = {2024 IEEE 63rd Conference on Decision and Control (CDC)},

publisher = {IEEE},

address = {Milan, Italy},

abstract = {We propose an authentication scheme for a multiagent system over integers, based on verifiable computation primitives. The naive approach, employing Freivalds’ algorithm in centralized way, faces several challenges. Specifically, unreliability of the network introduces the risk of information tampering by other agents. To this end, it requires locally updating and merging the proofs of the individual states in a distributed manner. Our proposed method addresses these issues with assuming presence of a leader agent who is responsible for validating the correctness of all the states of the agents. This can be achieved by a distributed protocol that aggregates proofs from the individual agents, relying on the well-known knowledge-of-exponent assumption. By using this distributed protocol, computational complexity and communication cost are reduced compared to centralized verification. Furthermore, we incorporate a clustering technique to distribute storage requirements.},

keywords = {Distributed aggregation, Multi-agent system, Verifiable computation},

pubstate = {published},

tppubtype = {inproceedings}

}

@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}

}