There is a newer version of the record available.

Published June 26, 2022 | Version 0.1
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.

Notes

The materials are for rebuttal and not finalized.

Files

Model Checking Details.txt

Files (32.2 MB)

Name Size
md5:b125f4a0859b8e8e0154b61af25fa0e6
7.1 kB Download
md5:f6e054b51a61791799cec1e5aa7ff18a
12.4 kB Preview Download
md5:792b381fb50616f4dd74c89fecf7f81e
32.1 MB Preview Download
md5:8eb6758a469fa46b3ff8f017a119e4e6
95.3 kB Preview Download