RobResilience: Implementing and Evaluating a Resilience Framework for Cyber-Physical Embodied Systems
cs.CR, cs.RO, cs.SY, eess.SY
Submitted: 2026-09-15
Updated: 2026-09-15
Comments: 13 pages, 11 figures. Published in Proceedings of the 2026 Workshop on CPS & IoT Security and Privacy (CPSIoTSec '26), co-located with ACM CCS 2026. Code: https://github.com/mahyamkashani/RobResilience
Code: https://github.com/mahyamkashani/RobResilience
License: http://creativecommons.org/licenses/by/4.0/
The gist: In embodied cyber-physical systems, active cyberattacks pose an immediate threat not just to data, but to physical integrity and human safety.
Terminology
Abstract
In embodied cyber-physical systems, active cyberattacks pose an immediate threat not just to data, but to physical integrity and human safety. While existing security approaches excel at detection, they lack the runtime mechanisms to determine whether a disruption is tolerable or if performance degradation remains within safe operational bounds. This gap leaves autonomous systems vulnerable to graceful failure paralysis, where they cannot distinguish between a safe, degraded state and a catastrophic hazard during an ongoing attack. This paper presents RobResilience, an implementation of a formal resilience framework for embodied cyber-physical systems in a Webots simulation environment, using a PR2 robot and ROS2. The framework evaluates three predicates at runtime: tolerable disruption (δ), tolerable degradation (γ), and mitigation feasibility (μ), over a compromised device set derived from IDS confidence scores. When resilience is lost, the framework triggers available mitigation strategies. We evaluate our implementation through eight attack scenarios that systematically cover all possible combinations of the predicate state space, varying attack targets, degradation rates, and mitigation availability. Results confirm that the runtime behaviour of the implementation is consistent with the theoretical definitions.
Sources
- A Formal Resilience Framework for Cyber-Physical Embodied Systems under Device-Level Cyberattacks
- Embodied AI: Emerging Risks and Opportunities for Policy Action
Related papers
- SoK: AI-Augmented Binary Reversing
- Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
- Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
- Efficient Fuzzy PSI under One-Sided Assumptions
- Sealing the Audit-Runtime Gap for LLM Skills
- Token Composition: A Graph Based on EVM Logs