Published June 26, 2022
| Version 0.3
Conference paper
Open
ROS2 Security Experimental Data
Authors/Creators
Description
This upload contains the supporting document for the submission "On the (In)Security of Secure ROS2", including the CPG results and the model checking details.
We apologize for the mistakes in the previous submission. Due to the naming convention differences between Unix and Windows systems, the ":" sign in the file name was replaced by "_" automatically, which caused confusion in the previous upload. Please see the documentation for this upload.
Notes
The materials are for revision and not finalized.