2024 |
Seungbeom Lee / Dongwoo Kim / Heewon Chung / Junsoo Kim / Hyungbo Shim Authentication of Multi-agent System with Verifiable Computation and Distributed Aggregation Proceedings Article In: 2024 IEEE 63rd Conference on Decision and Control (CDC), IEEE, Milan, Italy, 2024. Abstract | Links | BibTeX | Tags: Distributed aggregation, Multi-agent system, Verifiable computation @inproceedings{nokey,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. |
2020 |
Donggil Lee / Junsoo Kim / Hyungbo Shim Distributed Aggregation Over Homomorphically Encrypted Data under Switching Networks Proceedings Article In: Proc. of 2020 IEEE 59th Conference on Decision and Control, pp. 5495-5500, IEEE, Jeju, Korea, 2020, ISBN: 978-1-7281-7447-1. Abstract | Links | BibTeX | Tags: Distributed aggregation, Homomorphic encryption @inproceedings{LeeKimShim20b,This paper presents a distributed algorithm for additive aggregation over encrypted data. Our algorithm allows networked systems to compute the sum of all individual data without revealing each node's private contribution. To conceal the private data, the local computations on each node and the communications with neighbor nodes are conducted by utilizing the additively homomorphic cryptosystem. As a consequence, the leader node which has the secret key of the cryptosystem recovers the correct outcome after decryption in a finite time. Moreover, the leader cannot learn the private data of the other nodes. Furthermore, the proposed algorithm can operate on encrypted data for an infinite time horizon even when the network varies intermittently with time. |
List of English Publication
2024 |
Authentication of Multi-agent System with Verifiable Computation and Distributed Aggregation Proceedings Article In: 2024 IEEE 63rd Conference on Decision and Control (CDC), IEEE, Milan, Italy, 2024. |
2020 |
Distributed Aggregation Over Homomorphically Encrypted Data under Switching Networks Proceedings Article In: Proc. of 2020 IEEE 59th Conference on Decision and Control, pp. 5495-5500, IEEE, Jeju, Korea, 2020, ISBN: 978-1-7281-7447-1. |