ROS2 Security Experimental Data
Anonymous · Zenodo (CERN European Organization for Nuclear Research) · 2022
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.