Automating ROS2 Security Policies Extraction through Static Analysis

G Zanatta, G Caiazza, P Ferrara… - 2024 IEEE/RSJ …, 2024 - ieeexplore.ieee.org
Cybersecurity in mission-critical robotic applications is a necessity to scale deployments
securely. ROS2 builds upon DDS-Security specs in ROS Client Library (RCL) to implement …

Inference of access policies through static analysis

G Zanatta, G Caiazza, P Ferrara, L Negrini - International Journal on …, 2025 - Springer
Abstract Robot Operating System 2 (ROS 2) is the de-facto standard framework for
develo** distributed robotic applications. However, ensuring the correctness and security …