Cover Image

A Verifiable Computing Scheme for Encrypted Control Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Stabile, Francesca, Lucia, Walter, Youssef, Amr, Franze, Giuseppe
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Anomaly Detection with LWE Encrypted Control
by: Alisic, Rijad, et al.
Published: (2025)

Optimal Controller and Security Parameter for Encrypted Control Systems Under Least Squares Identification
by: Teranishi, Kaoru, et al.
Published: (2023)

Variational Encrypted Model Predictive Control
by: Suh, Jihoon, et al.
Published: (2026)

Encrypted Computation of Collision Probability for Secure Satellite Conjunction Analysis
by: Suh, Jihoon, et al.
Published: (2025)

Towards Provably Secure Encrypted Control Using Homomorphic Encryption
by: Teranishi, Kaoru, et al.
Published: (2022)

Input-Output History Feedback Controller for Encrypted Control with Leveled Fully Homomorphic Encryption
by: Teranishi, Kaoru, et al.
Published: (2021)

Bootstrapping Guarantees: Stability and Performance Analysis for Dynamic Encrypted Control
by: Schlor, Sebastian, et al.
Published: (2024)

Encrypted Dynamic Control exploiting Limited Number of Multiplications and a Method using RLWE-based Cryptosystem
by: Lee, Joowon, et al.
Published: (2023)

Large Language Model-Based Framework for Explainable Cyberattack Detection in Automatic Generation Control Systems
by: Sharshar, Muhammad, et al.
Published: (2025)

A Kolmogorov-Arnold Network for Interpretable Cyberattack Detection in AGC Systems
by: Jilan, Jehad, et al.
Published: (2025)

Encrypted system identification as-a-service via reliable encrypted matrix inversion
by: Adamek, Janis, et al.
Published: (2024)

Detecting and Mitigating Backdoor Attacks in OTA-FL Systems: A Two-Stage Robust Aggregation Scheme
by: Ma, Xiaoyan, et al.
Published: (2026)

Experimental Examination of Secure Two-Party Controller Computation
by: Teranishi, Kaoru, et al.
Published: (2026)

Client-Aided Secure Two-Party Computation of Dynamic Controllers
by: Teranishi, Kaoru, et al.
Published: (2025)

Model Predictive Control with adaptive resilience for Denial-of-Service Attacks mitigation on a Regulated Dam
by: Cestari, Raffaele Giuseppe, et al.
Published: (2024)

Quantifying Security for Networked Control Systems: A Review
by: Anand, Sribalaji C., et al.
Published: (2025)

Threat-based Security Controls to Protect Industrial Control Systems
by: Srinivasan, Haritha, et al.
Published: (2025)

Unmasking Covert Intrusions: Detection of Fault-Masking Cyberattacks on Differential Protection Systems
by: Saber, Ahmad Mohammad, et al.
Published: (2024)

A Hybrid Intrusion Detection System with a New Approach to Protect the Cybersecurity of Cloud Computing
by: Al-Husseini, Maryam Mahdi
Published: (2025)

Time-to-Lie: Identifying Industrial Control System Honeypots Using the Internet Control Message Protocol
by: Williams, Jacob, et al.
Published: (2024)

Extending Adaptive Cruise Control with Machine Learning Intrusion Detection Systems
by: Othmane, Lotfi Ben, et al.
Published: (2026)

OffRAMPS: An FPGA-based Intermediary for Analysis and Modification of Additive Manufacturing Control Systems
by: Blocklove, Jason, et al.
Published: (2024)

ShieldMMU: Detecting and Defending against Controlled-Channel Attacks in Shielding Memory System
by: Liu, Gang, et al.
Published: (2025)

Threat Modeling and Attack Surface Analysis of IoT-Enabled Controlled Environment Agriculture Systems
by: Vakhnovskyi, Andrii
Published: (2026)

Divide, Conquer and Verify: Improving Symbolic Execution Performance
by: Scherb, Christopher, et al.
Published: (2023)

A Bilevel Optimization Framework for Adversarial Control of Gas Pipeline Operations
by: Katale, Tejaswini Sanjay, et al.
Published: (2025)

Reproducing a Security Risk Assessment Using Computer Aided Design
by: Shaked, Avi
Published: (2025)

Hacking Encrypted Wireless Power: Cyber-Security of Dynamic Charging
by: Wang, Hui, et al.
Published: (2024)

Privacy-Preserving Power Flow Analysis via Secure Multi-Party Computation
by: von der Heyden, Jonas, et al.
Published: (2024)

Automated Fuzzing of Automotive Control Units
by: Werquin, Timothy, et al.
Published: (2021)

LegionITS: A Federated Intrusion-Tolerant System Architecture
by: Freitas, Tadeu, et al.
Published: (2025)

Enhancing Attack Resilience in Real-Time Systems through Variable Control Task Sampling Rates
by: Sain, Arkaprava, et al.
Published: (2024)

Verifier-Bound Communication for LLM Agents: Certified Bounds on Covert Signaling
by: Tailor, Om
Published: (2026)

Reinforcement Learning-Based Approaches for Enhancing Security and Resilience in Smart Control: A Survey on Attack and Defense Methods
by: Zhang, Zheyu
Published: (2024)

Multi-sensor Intrusion Detection System
by: Arinde, Victor, et al.
Published: (2024)

Optimal Controller Realizations against False Data Injections in Cooperative Driving
by: Huisman, Mischa, et al.
Published: (2024)

RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection
by: Tsujio, Kohei, et al.
Published: (2025)

Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions
by: Adhikary, Sunandan, et al.
Published: (2020)

Exploring The Resilience of Control Execution Skips against False Data Injection Attacks
by: Koley, Ipsita, et al.
Published: (2022)

Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection
by: Tsujio, Kohei, et al.
Published: (2024)