Search results for 'tags:robotics' (2)
- Inference of access policies through static analysis
static-analysis abstract-interpretation robotics
Abstract: Robot Operating System 2 (ROS 2) is the de-facto standard framework for developing distributed robotic applications. However, ensuring the correctness... - Automating ROS2 Security Policies Extraction through Static Analysis
static-analysis abstract-interpretation robotics
Abstract: Cybersecurity in mission-critical robotic applications is a necessity to scale deployments securely. ROS2 builds upon DDS-Security specs in ROS Client...