Client-Aided Secure Two-Party Computation of Dynamic Controllers

• URL: http://arxiv.org/abs/2503.02176v2
• Date: Mon, 25 Aug 2025 21:50:47 GMT
• Title: Client-Aided Secure Two-Party Computation of Dynamic Controllers
• Abstract summary: The proposed protocol realizes outsourcing of controller computation to two servers.<n>The feasibility of the protocol is demonstrated through numerical examples of PID and observer-based controls.
• Score: 1.217503190366097
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In this paper, we propose a secure two-party computation protocol for dynamic controllers using a secret sharing scheme. The proposed protocol realizes outsourcing of controller computation to two servers, while controller parameters, states, inputs, and outputs are kept secret against the servers. Unlike previous encrypted controls in a single-server setting, the proposed method can operate a dynamic controller for an infinite time horizon without controller state decryption or input re-encryption. We show that the control performance achievable by the proposed protocol can be made arbitrarily close to that attained by the unencrypted controller. Furthermore, system-theoretic and cryptographic modifications of the protocol are presented to improve the communication complexity. The feasibility of the protocol is demonstrated through numerical examples of PID and observer-based controls.

Related papers

• Experimental Examination of Secure Two-Party Controller Computation [1.0832844764942349]
  Two-party computation protocol for running dynamic controllers over secret sharing has been proposed.<n>This protocol enables operating dynamic controllers for an infinite time horizon without controller-state decryption, controller-state reset, or input re-encryption.<n>In this study, we demonstrate the feasibility of the protocol through implementation on a commercial cloud platform with an inverted pendulum testbed.
  arXiv  Detail & Related papers  (2026-05-12T02:54:41Z)
• Secure Two-Party Matrix Multiplication from Lattices and Its Application to Encrypted Control [0.0]
  The proposed protocol is provably secure under standard lattice-based cryptographic assumptions.<n>We demonstrate the feasibility of the protocol by applying it to the secure implementation of a linear control law.
  arXiv  Detail & Related papers  (2026-03-24T06:51:51Z)
• High efficiency controlled quantum secure direct communication with 4D qudits and Grover search algorithm [1.3655986414631496]
  This study proposes an innovative controlled QSDC protocol based on a collaborative unitary sequence decoding paradigm.<n>The protocol achieves a remarkable qudit efficiency of 66.7%, offering a significant performance improvement over existing schemes.
  arXiv  Detail & Related papers  (2025-12-17T00:40:16Z)
• Password-Activated Shutdown Protocols for Misaligned Frontier Agents [6.9054075158485455]
  We introduce password-activated shutdown protocols (PAS protocols)<n>PAS protocols are methods for designing frontier agents to implement a safe shutdown protocol when given a password.<n>We conduct experiments in a code-generation setting, finding that there are effective strategies for the red-team.
  arXiv  Detail & Related papers  (2025-11-29T14:49:53Z)
• Comparison and performance analysis of dynamic encrypted control approaches [0.5371337604556311]
  homomorphic encryption has proven to guarantee the privacy of measurement and control signals, as well as system and controller parameters, while regulating the system as intended.<n>We review recent approaches to dynamic control encrypted, such as bootstrapping, periodic resets of the controller state, integer reformulations, and FIR controllers, and equip them with a stability and performance analysis to evaluate their suitability.
  arXiv  Detail & Related papers  (2025-10-20T09:26:33Z)
• Adaptive Attacks on Trusted Monitors Subvert AI Control Protocols [80.68060125494645]
  We study adaptive attacks by an untrusted model that knows the protocol and the monitor model.<n>We instantiate a simple adaptive attack vector by which the attacker embeds publicly known or zero-shot prompt injections in the model outputs.
  arXiv  Detail & Related papers  (2025-10-10T15:12:44Z)
• A Verifiable Computing Scheme for Encrypted Control Systems [0.0]
  It is imperative to verify the correctness of the control signals received from the cloud. Traditional verification methods, like zero-knowledge proof techniques, are computationally demanding in both proof generation and verification. We present a novel computationally inexpensive verifiable computing solution inspired by the probabilistic cut-and-choose approach.
  arXiv  Detail & Related papers  (2024-05-28T21:06:39Z)
• Implementation of CU gates and its application in a remote-controlled quantum operation [1.436934698922473]
  We propose and experimentally demonstrate a scheme for implementing CU gates between arbitrary pairs of unitary gates. We believe that the proposed remote-controlled quantum gate model can pave the way for secure and efficient quantum information processing.
  arXiv  Detail & Related papers  (2024-05-24T20:42:25Z)
• Protocols to Code: Formal Verification of a Next-Generation Internet Router [9.971817718196997]
  SCION routers run a cryptographic protocol for secure packet forwarding in an adversarial environment. We verify both the protocol's network-wide security properties and low-level properties of its implementation. This paper explains our approach, summarizes the main results, and distills lessons for the design and implementation of verifiable systems.
  arXiv  Detail & Related papers  (2024-05-09T19:57:59Z)
• Optimal Controller Realizations against False Data Injections in Cooperative Driving [2.2134894590368748]
  We study a controller-oriented approach to mitigate the effect of a class of False-Data Injection (FDI) attacks. We show that a class of new but equivalent controllers can represent the base controller. We obtain the optimal combination of sensors that minimizes the effect of FDI attacks.
  arXiv  Detail & Related papers  (2024-04-08T09:53:42Z)
• A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
  The Controller Area Network (CAN) bus leaves in-vehicle communications inherently non-secure. This paper reviews and compares the 15 most prominent authentication protocols for the CAN bus. We evaluate protocols based on essential operational criteria that contribute to ease of implementation.
  arXiv  Detail & Related papers  (2024-01-19T14:52:04Z)
• Encrypted Dynamic Control exploiting Limited Number of Multiplications and a Method using RLWE-based Cryptosystem [0.3749861135832073]
  We present a method to encrypt dynamic controllers that can be implemented through most homomorphic encryption schemes. As a result, the encrypted controller involves only a limited number of homomorphic multiplications on every encrypted data. We propose a customization of the method for Ring Learning With Errors (RLWE)-based cryptosystems, where a vector of messages can be encrypted into a single ciphertext.
  arXiv  Detail & Related papers  (2023-07-07T08:24:48Z)
• Learning Combinatorial Prompts for Universal Controllable Image Captioning [46.34624079520254]
  Controllable Image Captioning -- generating natural language descriptions about images under the guidance of given control signals -- is one of the most promising directions towards next-generation captioning systems. We propose a novel prompt-based framework for CIC by learning Combinatorial Prompts, dubbed as ComPro. Our ComPro can be further extended to more kinds of combined control signals by concatenating these prompts.
  arXiv  Detail & Related papers  (2023-03-11T07:53:15Z)
• Controlled remote implementation of operations via graph states [7.238541917115604]
  We propose protocols for controlled remote implementation of operations with convincing control power. Sharing a $(2N+1)$-partite graph state, $2N$ participants collaborate to prepare the stator and realize the operation. We show that the control power of our protocol is reliable by positive operator valued measurement.
  arXiv  Detail & Related papers  (2022-10-26T12:50:14Z)
• Towards Semantic Communication Protocols: A Probabilistic Logic Perspective [69.68769942563812]
  We propose a semantic protocol model (SPM) constructed by transforming an NPM into an interpretable symbolic graph written in the probabilistic logic programming language (ProbLog) By leveraging its interpretability and memory-efficiency, we demonstrate several applications such as SPM reconfiguration for collision-avoidance.
  arXiv  Detail & Related papers  (2022-07-08T14:19:36Z)
• Data post-processing for the one-way heterodyne protocol under composable finite-size security [62.997667081978825]
  We study the performance of a practical continuous-variable (CV) quantum key distribution protocol. We focus on the Gaussian-modulated coherent-state protocol with heterodyne detection in a high signal-to-noise ratio regime. This allows us to study the performance for practical implementations of the protocol and optimize the parameters connected to the steps above.
  arXiv  Detail & Related papers  (2022-05-20T12:37:09Z)
• Deep Reinforcement Learning for Wireless Scheduling in Distributed Networked Control [37.10638636086814]
  We consider a joint uplink and downlink scheduling problem of a fully distributed wireless control system (WNCS) with a limited number of frequency channels. We develop a deep reinforcement learning (DRL) based framework for solving it. To tackle the challenges of a large action space in DRL, we propose novel action space reduction and action embedding methods.
  arXiv  Detail & Related papers  (2021-09-26T11:27:12Z)
• Composably secure data processing for Gaussian-modulated continuous variable quantum key distribution [58.720142291102135]
  Continuous-variable quantum key distribution (QKD) employs the quadratures of a bosonic mode to establish a secret key between two remote parties. We consider a protocol with homodyne detection in the general setting of composable finite-size security. In particular, we analyze the high signal-to-noise regime which requires the use of high-rate (non-binary) low-density parity check codes.
  arXiv  Detail & Related papers  (2021-03-30T18:02:55Z)
• Round-robin differential phase-time-shifting protocol for quantum key distribution: theory and experiment [58.03659958248968]
  Quantum key distribution (QKD) allows the establishment of common cryptographic keys among distant parties. Recently, a QKD protocol that circumvents the need for monitoring signal disturbance, has been proposed and demonstrated in initial experiments. We derive the security proofs of the round-robin differential phase-time-shifting protocol in the collective attack scenario. Our results show that the RRDPTS protocol can achieve higher secret key rate in comparison with the RRDPS, in the condition of high quantum bit error rate.
  arXiv  Detail & Related papers  (2021-03-15T15:20:09Z)
• Learning a Contact-Adaptive Controller for Robust, Efficient Legged Locomotion [95.1825179206694]
  We present a framework that synthesizes robust controllers for a quadruped robot. A high-level controller learns to choose from a set of primitives in response to changes in the environment. A low-level controller that utilizes an established control method to robustly execute the primitives.
  arXiv  Detail & Related papers  (2020-09-21T16:49:26Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.