{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T20:31:36Z","timestamp":1783715496568,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":96,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Ministry of Education, Singapore","award":["MOE-T2EP20120-0004"],"award-info":[{"award-number":["MOE-T2EP20120-0004"]}]},{"name":"Singapore National Research Foundation","award":["NRF2018NCR-NCR005-0001"],"award-info":[{"award-number":["NRF2018NCR-NCR005-0001"]}]},{"name":"Ministry of Education, Singapore","award":["MOET32020-0004"],"award-info":[{"award-number":["MOET32020-0004"]}]},{"name":"NTU-DESAY SV Research Program","award":["2018-0980"],"award-info":[{"award-number":["2018-0980"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3548606.3560681","type":"proceedings-article","created":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T11:41:28Z","timestamp":1667821288000},"page":"739-753","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["On the (In)Security of Secure ROS2"],"prefix":"10.1145","author":[{"given":"Gelei","family":"Deng","sequence":"first","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guowen","family":"Xu","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuan","family":"Zhou","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tianwei","family":"Zhang","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"IFAC Proceedings Volumes 42, 22 (2009), 25--30. 1st IFAC Workshop on Networked Robotics.","unstructured":"2009. Supporting Navigation in Multi-Robot Systems through Delay Tolerant Network Communication . IFAC Proceedings Volumes 42, 22 (2009), 25--30. 1st IFAC Workshop on Networked Robotics. 2009. Supporting Navigation in Multi-Robot Systems through Delay Tolerant Network Communication. IFAC Proceedings Volumes 42, 22 (2009), 25--30. 1st IFAC Workshop on Networked Robotics."},{"key":"e_1_3_2_1_2_1","unstructured":"2019. CVE-2019--19625 Detail. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2019--19625.  2019. CVE-2019--19625 Detail. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2019--19625."},{"key":"e_1_3_2_1_3_1","unstructured":"2020. ROS2 Node to Participant Mapping. https:\/\/design.ros2.org\/articles\/Node_ to_Participant_mapping.html  2020. ROS2 Node to Participant Mapping. https:\/\/design.ros2.org\/articles\/Node_ to_Participant_mapping.html"},{"key":"e_1_3_2_1_4_1","unstructured":"2021. ApexAI ROS2 Performance Test [Online]. https:\/\/gitlab.com\/ApexAI\/ performance_test.  2021. ApexAI ROS2 Performance Test [Online]. https:\/\/gitlab.com\/ApexAI\/ performance_test."},{"key":"e_1_3_2_1_5_1","unstructured":"2021. ROS 2 robotic systems threat model. https:\/\/design.ros2.org\/articles\/ros2_ threat_model.html.  2021. ROS 2 robotic systems threat model. https:\/\/design.ros2.org\/articles\/ros2_ threat_model.html."},{"key":"e_1_3_2_1_6_1","unstructured":"2022. Apex AI: The Vehicle OS Company. https:\/\/www.apex.ai\/.  2022. Apex AI: The Vehicle OS Company. https:\/\/www.apex.ai\/."},{"key":"e_1_3_2_1_7_1","volume-title":"Cloud Robotics Core: Kubernetes","unstructured":"2022. Cloud Robotics Core: Kubernetes , Federation , App Management [Online]. https:\/\/googlecloudrobotics.github.io\/core\/. 2022. Cloud Robotics Core: Kubernetes, Federation, App Management [Online]. https:\/\/googlecloudrobotics.github.io\/core\/."},{"key":"e_1_3_2_1_8_1","unstructured":"2022. IRobot: Robot Vacuum and Mop. https:\/\/www.irobot.com\/  2022. IRobot: Robot Vacuum and Mop. https:\/\/www.irobot.com\/"},{"key":"e_1_3_2_1_9_1","unstructured":"2022. On the (In)Security of Secure ROS2. https:\/\/sites.google.com\/view\/securesros2.  2022. On the (In)Security of Secure ROS2. https:\/\/sites.google.com\/view\/securesros2."},{"key":"e_1_3_2_1_10_1","unstructured":"2022. ROS Metrics. https:\/\/metrics.ros.org\/rosdistro_rosdistro.html  2022. ROS Metrics. https:\/\/metrics.ros.org\/rosdistro_rosdistro.html"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134014"},{"key":"e_1_3_2_1_12_1","unstructured":"Aliasrobotics. 2020. Robot Vulnerability Database (RVD) [Online]. https:\/\/github. com\/aliasrobotics\/RVD\/.  Aliasrobotics. 2020. Robot Vulnerability Database (RVD) [Online]. https:\/\/github. com\/aliasrobotics\/RVD\/."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(86)90071-2"},{"key":"e_1_3_2_1_14_1","unstructured":"AWS-Robotics. 2021. Aws-Robotics\/AWS RoboMaker Small Warehouse World. https:\/\/github.com\/aws-robotics\/aws-robomaker-small-warehouse-world  AWS-Robotics. 2021. Aws-Robotics\/AWS RoboMaker Small Warehouse World. https:\/\/github.com\/aws-robotics\/aws-robomaker-small-warehouse-world"},{"key":"e_1_3_2_1_15_1","volume-title":"2019 International Symposium on Multi-Robot and Multi-Agent Systems (MRS). 98--104","author":"Barci Agata","year":"2019","unstructured":"Agata Barci , Micha Barci , and Christian Bettstetter . 2019 . Robots that Sync and Swarm: A Proof of Concept in ROS 2 . In 2019 International Symposium on Multi-Robot and Multi-Agent Systems (MRS). 98--104 . Agata Barci, Micha Barci, and Christian Bettstetter. 2019. Robots that Sync and Swarm: A Proof of Concept in ROS 2. In 2019 International Symposium on Multi-Robot and Multi-Agent Systems (MRS). 98--104."},{"key":"e_1_3_2_1_16_1","volume-title":"Financial Cryptography and Data Security","author":"Barth Adam","unstructured":"Adam Barth , Dan Boneh , and Brent Waters . 2006. Privacy in Encrypted Content Distribution Using Private Broadcast Encryption . In Financial Cryptography and Data Security , Giovanni Di Crescenzo and Avi Rubin (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 52--64. Adam Barth, Dan Boneh, and Brent Waters. 2006. Privacy in Encrypted Content Distribution Using Private Broadcast Encryption. In Financial Cryptography and Data Security, Giovanni Di Crescenzo and Avi Rubin (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 52--64."},{"key":"e_1_3_2_1_17_1","volume-title":"Analysis of the Impact of Denial of Service Attacks on the Group of Robots. In 2018 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC). 63--638","author":"Basan Elena","year":"2018","unstructured":"Elena Basan , Mikhail Medvedev , and Stanislav Teterevyatnikov . 2018 . Analysis of the Impact of Denial of Service Attacks on the Group of Robots. In 2018 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC). 63--638 . Elena Basan, Mikhail Medvedev, and Stanislav Teterevyatnikov. 2018. Analysis of the Impact of Denial of Service Attacks on the Group of Robots. In 2018 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC). 63--638."},{"key":"e_1_3_2_1_18_1","volume-title":"Ciphertext-Policy Attribute-Based Encryption. In 2007 IEEE Symposium on Security and Privacy (SP '07)","author":"Bethencourt John","year":"2007","unstructured":"John Bethencourt , Amit Sahai , and Brent Waters . 2007 . Ciphertext-Policy Attribute-Based Encryption. In 2007 IEEE Symposium on Security and Privacy (SP '07) . 321--334. John Bethencourt, Amit Sahai, and Brent Waters. 2007. Ciphertext-Policy Attribute-Based Encryption. In 2007 IEEE Symposium on Security and Privacy (SP '07). 321--334."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930138"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341085"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-56880-1_4"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46803-6_20"},{"key":"e_1_3_2_1_23_1","volume-title":"System Quality Requirements Engineering (SQUARE) Methodology: Case Study on Asset Management System. (12","author":"Chen Peter","year":"2004","unstructured":"Peter Chen , Marjon Dean , Don Ojoko-Adams , Hassan Osman , Lilian Lopez , Nick Xie , and Nancy Mead . 2004. System Quality Requirements Engineering (SQUARE) Methodology: Case Study on Asset Management System. (12 2004 ), 326. Peter Chen, Marjon Dean, Don Ojoko-Adams, Hassan Osman, Lilian Lopez, Nick Xie, and Nancy Mead. 2004. System Quality Requirements Engineering (SQUARE) Methodology: Case Study on Asset Management System. (12 2004), 326."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23222"},{"key":"e_1_3_2_1_25_1","first-page":"1569","article-title":"Guardauto: A decentralized runtime protection system for autonomous driving","volume":"70","author":"Cheng Kun","year":"2020","unstructured":"Kun Cheng , Yuan Zhou , Bihuan Chen , Rui Wang , Yuebin Bai , and Yang Liu . 2020 . Guardauto: A decentralized runtime protection system for autonomous driving . IEEE Trans. Comput. 70 , 10 (2020), 1569 -- 1581 . Kun Cheng, Yuan Zhou, Bihuan Chen, Rui Wang, Yuebin Bai, and Yang Liu. 2020. Guardauto: A decentralized runtime protection system for autonomous driving. IEEE Trans. Comput. 70, 10 (2020), 1569--1581.","journal-title":"IEEE Trans. Comput."},{"key":"e_1_3_2_1_26_1","volume-title":"22nd International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2019","author":"Li Xiao","year":"2019","unstructured":"Key-whan Chung, Xiao Li , Peicheng Tang , Zeran Zhu , Zbigniew T. Kalbarczyk , Ravishankar K. Iyer , and Thenkurussi Kesavadas . 2019 . Smart Malware that Uses Leaked Control Data of Robotic Applications: The Case of Raven-II Surgical Robots . In 22nd International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2019 , Chaoyang District, Beijing, China, September 23--25 , 2019. Key-whan Chung, Xiao Li, Peicheng Tang, Zeran Zhu, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer, and Thenkurussi Kesavadas. 2019. Smart Malware that Uses Leaked Control Data of Robotic Applications: The Case of Raven-II Surgical Robots. In 22nd International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2019, Chaoyang District, Beijing, China, September 23--25, 2019."},{"key":"e_1_3_2_1_27_1","volume-title":"Model Checking and the State Explosion Problem","author":"Clarke Edmund M.","unstructured":"Edmund M. Clarke , William Klieber , Milo Nov\u00e1ek , and Paolo Zuliani . 2012. Model Checking and the State Explosion Problem . Springer Berlin Heidelberg , 1--30. Edmund M. Clarke, William Klieber, Milo Nov\u00e1ek, and Paolo Zuliani. 2012. Model Checking and the State Explosion Problem. Springer Berlin Heidelberg, 1--30."},{"key":"e_1_3_2_1_28_1","unstructured":"Edmund M Clarke  Jr Orna Grumberg Daniel Kroening Doron Peled and Helmut Veith. 2018. Model checking.  Edmund M Clarke Jr Orna Grumberg Daniel Kroening Doron Peled and Helmut Veith. 2018. Model checking."},{"key":"e_1_3_2_1_29_1","unstructured":"Ken Conley. 2011. ROS command line tool: rostopic. http:\/\/library.isr.ist.utl.pt\/ docs\/roswiki\/rostopic.html.  Ken Conley. 2011. ROS command line tool: rostopic. http:\/\/library.isr.ist.utl.pt\/ docs\/roswiki\/rostopic.html."},{"key":"e_1_3_2_1_30_1","unstructured":"DDS Foundation. 2020. Data Distribution Services. https:\/\/www.dds-foundation. org\/.  DDS Foundation. 2020. Data Distribution Services. https:\/\/www.dds-foundation. org\/."},{"key":"e_1_3_2_1_31_1","volume-title":"An Investigation of Byzantine Threats in Multi-Robot Systems. In 24th International Symposium on Research in Attacks, Intrusions and Defenses. 17--32","author":"Deng Gelei","year":"2021","unstructured":"Gelei Deng , Yuan Zhou , Yuan Xu , Tianwei Zhang , and Yang Liu . 2021 . An Investigation of Byzantine Threats in Multi-Robot Systems. In 24th International Symposium on Research in Attacks, Intrusions and Defenses. 17--32 . Gelei Deng, Yuan Zhou, Yuan Xu, Tianwei Zhang, and Yang Liu. 2021. An Investigation of Byzantine Threats in Multi-Robot Systems. In 24th International Symposium on Research in Attacks, Intrusions and Defenses. 17--32."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2379654"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2013.2297155"},{"key":"e_1_3_2_1_34_1","volume-title":"6th USENIX Workshop on Hot Topics in Security, HotSec'11","author":"Finnicum Murph","year":"2011","unstructured":"Murph Finnicum and Samuel T King . 2011 . Building Secure Robot Applications .. In 6th USENIX Workshop on Hot Topics in Security, HotSec'11 . Murph Finnicum and Samuel T King. 2011. Building Secure Robot Applications.. In 6th USENIX Workshop on Hot Topics in Security, HotSec'11."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.clsr.2021.105528"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96881-0_13"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Romain Gay. 2020. A New Paradigm for Public-Key Functional Encryption for Degree-2 Polynomials.. In Public Key Cryptography (1). 95--120.  Romain Gay. 2020. A New Paradigm for Public-Key Functional Encryption for Degree-2 Polynomials.. In Public Key Cryptography (1). 95--120.","DOI":"10.1007\/978-3-030-45374-9_4"},{"key":"e_1_3_2_1_38_1","unstructured":"Shreyas Gokhale. 2020. JdeMultiBot: Multi-Robot exercises for Robotics Academy In ROS2. (2020).  Shreyas Gokhale. 2020. JdeMultiBot: Multi-Robot exercises for Robotics Academy In ROS2. (2020)."},{"key":"e_1_3_2_1_39_1","volume-title":"Bounded Ciphertext Policy Attribute Based Encryption","author":"Goyal Vipul","unstructured":"Vipul Goyal , Abhishek Jain , Omkant Pandey , and Amit Sahai . 2008. Bounded Ciphertext Policy Attribute Based Encryption . In Automata, Languages and Programming, Luca Aceto, Ivan Damg\u00e5rd, Leslie Ann Goldberg, Magn\u00fas M. Halld\u00f3rsson, Anna Ing\u00f3lfsd\u00f3ttir, and Igor Walukiewicz (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 579--591. Vipul Goyal, Abhishek Jain, Omkant Pandey, and Amit Sahai. 2008. Bounded Ciphertext Policy Attribute Based Encryption. In Automata, Languages and Programming, Luca Aceto, Ivan Damg\u00e5rd, Leslie Ann Goldberg, Magn\u00fas M. Halld\u00f3rsson, Anna Ing\u00f3lfsd\u00f3ttir, and Igor Walukiewicz (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 579--591."},{"key":"e_1_3_2_1_40_1","unstructured":"Object Management Group. 2018. DDS security [Online]. https:\/\/www.omg.org\/ spec\/DDS-SECURITY\/1.1\/PDF.  Object Management Group. 2018. DDS security [Online]. https:\/\/www.omg.org\/ spec\/DDS-SECURITY\/1.1\/PDF."},{"key":"e_1_3_2_1_41_1","unstructured":"Object Management Group. 2018. The real-time publish-subscribe protocol (RTPS) DDS - OMG [Online]. https:\/\/www.omg.org\/spec\/DDSI-RTPS\/2.3\/Beta1\/ PDF.  Object Management Group. 2018. The real-time publish-subscribe protocol (RTPS) DDS - OMG [Online]. https:\/\/www.omg.org\/spec\/DDSI-RTPS\/2.3\/Beta1\/ PDF."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2019.2923681"},{"key":"e_1_3_2_1_44_1","volume-title":"Automated Discovery of Denial-of-Service Vulnerabilities in Connected Vehicle Protocols. In 30th USENIX Security Symposium (USENIX Security 21)","author":"Hu Shengtuo","unstructured":"Shengtuo Hu , Qi Alfred Chen , Jiachen Sun , Yiheng Feng , Z. Morley Mao , and Henry X. Liu . 2021 . Automated Discovery of Denial-of-Service Vulnerabilities in Connected Vehicle Protocols. In 30th USENIX Security Symposium (USENIX Security 21) . 3219--3236. Shengtuo Hu, Qi Alfred Chen, Jiachen Sun, Yiheng Feng, Z. Morley Mao, and Henry X. Liu. 2021. Automated Discovery of Denial-of-Service Vulnerabilities in Connected Vehicle Protocols. In 30th USENIX Security Symposium (USENIX Security 21). 3219--3236."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23313"},{"key":"e_1_3_2_1_46_1","unstructured":"JdeRobot. 2020. JdeRobot: Open toolkit for developing Robotics applications. https:\/\/jderobot.github.io\/.  JdeRobot. 2020. JdeRobot: Open toolkit for developing Robotics applications. https:\/\/jderobot.github.io\/."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2016.02.003"},{"key":"e_1_3_2_1_48_1","volume-title":"ABAC-Based Security Model for DDS","author":"Kim Hwimin","year":"2021","unstructured":"Hwimin Kim , Dae-Kyoo Kim , and Alaa Alaerjan . 2021. ABAC-Based Security Model for DDS . IEEE Transactions on Dependable and Secure Computing ( 2021 ). Hwimin Kim, Dae-Kyoo Kim, and Alaa Alaerjan. 2021. ABAC-Based Security Model for DDS. IEEE Transactions on Dependable and Secure Computing (2021)."},{"key":"e_1_3_2_1_49_1","volume-title":"PGFUZZ: Policy-Guided Fuzzing for Robotic Vehicles. In 28th Annual Network and Distributed System Security Symposium, NDSS 2021","author":"Kim Hyungsub","year":"2021","unstructured":"Hyungsub Kim , Muslum Ozgur Ozmen , Antonio Bianchi , Z. Berkay Celik , and Dongyan Xu . 2021 . PGFUZZ: Policy-Guided Fuzzing for Robotic Vehicles. In 28th Annual Network and Distributed System Security Symposium, NDSS 2021 , virtually, February 21 --25 , 2021. The Internet Society. Hyungsub Kim, Muslum Ozgur Ozmen, Antonio Bianchi, Z. Berkay Celik, and Dongyan Xu. 2021. PGFUZZ: Policy-Guided Fuzzing for Robotic Vehicles. In 28th Annual Network and Distributed System Security Symposium, NDSS 2021, virtually, February 21--25, 2021. The Internet Society."},{"key":"e_1_3_2_1_50_1","volume-title":"Study on Requirements of Cloud-based Environments for Easy Development of ROS Modules. In 2021 18th International Conference on Ubiquitous Robots (UR). 48--51","author":"Kim Misook","year":"2021","unstructured":"Misook Kim , SangGyu Kim , ByoungYoul Song , Young-sook Jeong, and Hong Seong Park . 2021 . Study on Requirements of Cloud-based Environments for Easy Development of ROS Modules. In 2021 18th International Conference on Ubiquitous Robots (UR). 48--51 . Misook Kim, SangGyu Kim, ByoungYoul Song, Young-sook Jeong, and Hong Seong Park. 2021. Study on Requirements of Cloud-based Environments for Easy Development of ROS Modules. In 2021 18th International Conference on Ubiquitous Robots (UR). 48--51."},{"key":"e_1_3_2_1_51_1","volume-title":"2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","volume":"3","author":"Koenig N.","unstructured":"N. Koenig and A. Howard . 2004. Design and use paradigms for Gazebo, an open-source multi-robot simulator . In 2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) , Vol. 3 . 2149--2154 vol.3. N. Koenig and A. Howard. 2004. Design and use paradigms for Gazebo, an open-source multi-robot simulator. In 2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), Vol. 3. 2149--2154 vol.3."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13190-5_4"},{"key":"e_1_3_2_1_53_1","volume-title":"Mandatory access control. Master's thesis in computing science","author":"Lindqvist Hakan","year":"2006","unstructured":"Hakan Lindqvist . 2006. Mandatory access control. Master's thesis in computing science , Umea University , Department of Computing Science, SE-901 87 ( 2006 ). Hakan Lindqvist. 2006. Mandatory access control. Master's thesis in computing science, Umea University, Department of Computing Science, SE-901 87 (2006)."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2018.8556970"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968502"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/CASE48305.2020.9216982"},{"key":"e_1_3_2_1_57_1","volume-title":"A preliminary cyber-physical security assessment of the Robot Operating System (ROS)","author":"McClean Jarrod","unstructured":"Jarrod McClean , Christopher Stull , Charles Farrar , and David Mascare\u00f1as . 2013. A preliminary cyber-physical security assessment of the Robot Operating System (ROS) . In Unmanned Systems Technology XV, Robert E. Karlsen, Douglas W. Gage, Charles M. Shoemaker, and Grant R. Gerhart (Eds.), Vol. 8741 . International Society for Optics and Photonics, SPIE , 341 -- 348. Jarrod McClean, Christopher Stull, Charles Farrar, and David Mascare\u00f1as. 2013. A preliminary cyber-physical security assessment of the Robot Operating System (ROS). In Unmanned Systems Technology XV, Robert E. Karlsen, Douglas W. Gage, Charles M. Shoemaker, and Grant R. Gerhart (Eds.), Vol. 8741. International Society for Optics and Photonics, SPIE, 341 -- 348."},{"key":"e_1_3_2_1_58_1","volume-title":"Mcclean and Charles Farrar","author":"Jarrod","year":"2013","unstructured":"Jarrod R. Mcclean and Charles Farrar . 2013 . A Preliminary Cyber-Physical Security Assessment of the Robot Operating System (ROS). In Proceedings of SPIE. Jarrod R. Mcclean and Charles Farrar. 2013. A Preliminary Cyber-Physical Security Assessment of the Robot Operating System (ROS). In Proceedings of SPIE."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","unstructured":"Michael Myers Rich Ankney Ambarish Malpani Slava Galperin and Carlisle Adams. 1999. X. 509 Internet public key infrastructure online certificate status protocol-OCSP. (1999).  Michael Myers Rich Ankney Ambarish Malpani Slava Galperin and Carlisle Adams. 1999. X. 509 Internet public key infrastructure online certificate status protocol-OCSP. (1999).","DOI":"10.17487\/rfc2560"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281440"},{"key":"e_1_3_2_1_61_1","unstructured":"Open Source Robotics Foundation. 2021. Open Robotics. https:\/\/www. openrobotics.org\/.  Open Source Robotics Foundation. 2021. Open Robotics. https:\/\/www. openrobotics.org\/."},{"key":"e_1_3_2_1_62_1","unstructured":"OpenRMF. 2022. Open-RMF\/RMF Demos: Demonstrations of The OpenRMF software [Online]. https:\/\/github.com\/open-rmf\/rmf_demos  OpenRMF. 2022. Open-RMF\/RMF Demos: Demonstrations of The OpenRMF software [Online]. https:\/\/github.com\/open-rmf\/rmf_demos"},{"key":"e_1_3_2_1_63_1","volume-title":"An introduction to DDS and data-centric communications. Real-Time Innovations","author":"Pardo-Castellote Gerardo","year":"2005","unstructured":"Gerardo Pardo-Castellote , Bert Farabaugh , and Rick Warren . 2005. An introduction to DDS and data-centric communications. Real-Time Innovations ( 2005 ). Gerardo Pardo-Castellote, Bert Farabaugh, and Rick Warren. 2005. An introduction to DDS and data-centric communications. Real-Time Innovations (2005)."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2013.6629610"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2000.848453"},{"key":"e_1_3_2_1_67_1","volume-title":"2021 IFIP\/IEEE International Symposium on Integrated Network Management (IM). IEEE, 754--759","author":"Rivera Sean","year":"2021","unstructured":"Sean Rivera and Radu State . 2021 . Securing Robots: An Integrated Approach for Security Challenges and Monitoring for the Robotic Operating System (ROS) . In 2021 IFIP\/IEEE International Symposium on Integrated Network Management (IM). IEEE, 754--759 . Sean Rivera and Radu State. 2021. Securing Robots: An Integrated Approach for Security Challenges and Monitoring for the Robotic Operating System (ROS). In 2021 IFIP\/IEEE International Symposium on Integrated Network Management (IM). IEEE, 754--759."},{"key":"e_1_3_2_1_68_1","unstructured":"Robotis. 2021. TurtleBot 3. https:\/\/www.turtlebot.com\/.  Robotis. 2021. TurtleBot 3. https:\/\/www.turtlebot.com\/."},{"key":"e_1_3_2_1_69_1","unstructured":"ROS. 2020. ROS Index package list. https:\/\/index.ros.org\/packages\/.  ROS. 2020. ROS Index package list. https:\/\/index.ros.org\/packages\/."},{"key":"e_1_3_2_1_70_1","unstructured":"Ros-Visualization. 2020. Ros-visualization\/RQT_GRAPH. https:\/\/github.com\/rosvisualization\/rqt_graph.  Ros-Visualization. 2020. Ros-visualization\/RQT_GRAPH. https:\/\/github.com\/rosvisualization\/rqt_graph."},{"key":"e_1_3_2_1_71_1","unstructured":"ROS2. 2019. ROS 2 Foxy Elusor. https:\/\/docs.ros.org\/en\/eloquent\/index.html.  ROS2. 2019. ROS 2 Foxy Elusor. https:\/\/docs.ros.org\/en\/eloquent\/index.html."},{"key":"e_1_3_2_1_72_1","unstructured":"ROS2. 2020. ROS 2 Foxy Fitzroy. https:\/\/docs.ros.org\/en\/foxy\/Releases\/ReleaseFoxy-Fitzroy.html.  ROS2. 2020. ROS 2 Foxy Fitzroy. https:\/\/docs.ros.org\/en\/foxy\/Releases\/ReleaseFoxy-Fitzroy.html."},{"key":"e_1_3_2_1_73_1","unstructured":"ROS2. 2020. Set rtps_protection_kind to encrypt by default pull request #171 \u00b7 ROS2\/SROS2. https:\/\/github.com\/ros2\/sros2\/pull\/171.  ROS2. 2020. Set rtps_protection_kind to encrypt by default pull request #171 \u00b7 ROS2\/SROS2. https:\/\/github.com\/ros2\/sros2\/pull\/171."},{"key":"e_1_3_2_1_74_1","unstructured":"ROS2. 2020. SROS2 Project Sample Policies. https:\/\/github.com\/ros2\/sros2\/tree\/ master\/sros2\/sros2\/policy.  ROS2. 2020. SROS2 Project Sample Policies. https:\/\/github.com\/ros2\/sros2\/tree\/ master\/sros2\/sros2\/policy."},{"key":"e_1_3_2_1_75_1","unstructured":"ROS2. 2021. ROS 2 Galatic Geochelone. https:\/\/docs.ros.org\/en\/galactic\/index. html.  ROS2. 2021. ROS 2 Galatic Geochelone. https:\/\/docs.ros.org\/en\/galactic\/index. html."},{"key":"e_1_3_2_1_76_1","unstructured":"ROS2. 2021. SROS2. https:\/\/github.com\/ros2\/sros2.  ROS2. 2021. SROS2. https:\/\/github.com\/ros2\/sros2."},{"key":"e_1_3_2_1_77_1","unstructured":"ROS2. 2022. ROS 2 Rolling. https:\/\/docs.ros.org\/en\/rolling\/index.html.  ROS2. 2022. ROS 2 Rolling. https:\/\/docs.ros.org\/en\/rolling\/index.html."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1007\/11426639_27"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC5288"},{"key":"e_1_3_2_1_80_1","unstructured":"Amazon Web Services. 2021. AWS Robotics. https:\/\/aws.amazon.com\/ robomaker\/.  Amazon Web Services. 2021. AWS Robotics. https:\/\/aws.amazon.com\/ robomaker\/."},{"key":"e_1_3_2_1_81_1","volume-title":"Privacy with Surgical Robotics: Challenges in Applying Contextual Privacy Theory. CoRR abs\/1909.01862","author":"Shah Ryan","year":"2019","unstructured":"Ryan Shah and Shishir Nagaraja . 2019. Privacy with Surgical Robotics: Challenges in Applying Contextual Privacy Theory. CoRR abs\/1909.01862 ( 2019 ). arXiv:1909.01862 http:\/\/arxiv.org\/abs\/1909.01862 Ryan Shah and Shishir Nagaraja. 2019. Privacy with Surgical Robotics: Challenges in Applying Contextual Privacy Theory. CoRR abs\/1909.01862 (2019). arXiv:1909.01862 http:\/\/arxiv.org\/abs\/1909.01862"},{"key":"e_1_3_2_1_82_1","volume-title":"Nima Jafari Navimipour, and Reza Rezaei.","author":"Souri Alireza","year":"2019","unstructured":"Alireza Souri , Amir Masoud Rahmani , Nima Jafari Navimipour, and Reza Rezaei. 2019 . A symbolic model checking approach in formal verification of Distributed Systems. Human-centric Computing and Information Sciences 9, 1 (2019). https: \/\/doi.org\/10.1186\/s13673-019-0165-x 10.1186\/s13673-019-0165-x Alireza Souri, Amir Masoud Rahmani, Nima Jafari Navimipour, and Reza Rezaei. 2019. A symbolic model checking approach in formal verification of Distributed Systems. Human-centric Computing and Information Sciences 9, 1 (2019). https: \/\/doi.org\/10.1186\/s13673-019-0165-x"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2016.08.018"},{"key":"e_1_3_2_1_84_1","volume-title":"Leveraging Applications of Formal Methods","author":"Sun Jun","unstructured":"Jun Sun , Yang Liu , and Jin Song Dong . 2008. Model Checking CSP Revisited: Introducing a Process Analysis Toolkit . In Leveraging Applications of Formal Methods , Verification and Validation, Tiziana Margaria and Bernhard Steffen (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 307--322. Jun Sun, Yang Liu, and Jin Song Dong. 2008. Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. In Leveraging Applications of Formal Methods, Verification and Validation, Tiziana Margaria and Bernhard Steffen (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 307--322."},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.32"},{"key":"e_1_3_2_1_86_1","volume-title":"2020 Latin American Robotics Symposium (LARS), 2020 Brazilian Symposium on Robotics (SBR) and 2020 Workshop on Robotics in Education (WRE). 1--6.","author":"Teixeira Rafael R.","unstructured":"Rafael R. Teixeira , Igor P. Maurell , and Paulo L.J. Drews . 2020. Security on ROS: analyzing and exploiting vulnerabilities of ROS-based systems . In 2020 Latin American Robotics Symposium (LARS), 2020 Brazilian Symposium on Robotics (SBR) and 2020 Workshop on Robotics in Education (WRE). 1--6. Rafael R. Teixeira, Igor P. Maurell, and Paulo L.J. Drews. 2020. Security on ROS: analyzing and exploiting vulnerabilities of ROS-based systems. In 2020 Latin American Robotics Symposium (LARS), 2020 Brazilian Symposium on Robotics (SBR) and 2020 Workshop on Robotics in Education (WRE). 1--6."},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3061366"},{"key":"e_1_3_2_1_88_1","unstructured":"V\u00edctor Vilches Gorka Olalde Xabier Baskaran Alejandro Cordero Lander Juan Endika Gil-Uriarte Odei Urabain and Laura Kirschgens. 2018. Aztarna a footprinting tool for robots.  V\u00edctor Vilches Gorka Olalde Xabier Baskaran Alejandro Cordero Lander Juan Endika Gil-Uriarte Odei Urabain and Laura Kirschgens. 2018. Aztarna a footprinting tool for robots."},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19379-8_4"},{"key":"e_1_3_2_1_90_1","volume-title":"Procedurally Provisioned Access Control for Robotic Systems. In 2018 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS).","author":"White Ruffin","year":"2018","unstructured":"Ruffin White , Henrik I. Christensen , Gianluca Caiazza , and Agostino Cortesi . 2018 . Procedurally Provisioned Access Control for Robotic Systems. In 2018 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS). Ruffin White, Henrik I. Christensen, Gianluca Caiazza, and Agostino Cortesi. 2018. Procedurally Provisioned Access Control for Robotic Systems. In 2018 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)."},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2021.06.063"},{"key":"e_1_3_2_1_92_1","volume-title":"Analysis and Mitigation of Function Interaction Risks in Robot Apps. 24th International Symposium on Research in Attacks, Intrusions and Defenses","author":"Xu Yuan","year":"2021","unstructured":"Yuan Xu , Tianwei Zhang , and Yungang Bao . 2021 . Analysis and Mitigation of Function Interaction Risks in Robot Apps. 24th International Symposium on Research in Attacks, Intrusions and Defenses (2021). Yuan Xu, Tianwei Zhang, and Yungang Bao. 2021. Analysis and Mitigation of Function Interaction Risks in Robot Apps. 24th International Symposium on Research in Attacks, Intrusions and Defenses (2021)."},{"key":"e_1_3_2_1_93_1","volume-title":"Modeling and Discovering Vulnerabilities with Code Property Graphs. In 2014 IEEE Symposium on Security and Privacy. 590--604","author":"Yamaguchi Fabian","year":"2014","unstructured":"Fabian Yamaguchi , Nico Golde , Daniel Arp , and Konrad Rieck . 2014 . Modeling and Discovering Vulnerabilities with Code Property Graphs. In 2014 IEEE Symposium on Security and Privacy. 590--604 . Fabian Yamaguchi, Nico Golde, Daniel Arp, and Konrad Rieck. 2014. Modeling and Discovering Vulnerabilities with Code Property Graphs. In 2014 IEEE Symposium on Security and Privacy. 590--604."},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755688.1755720"},{"key":"e_1_3_2_1_95_1","volume-title":"Gilbreth: A Conveyor-Belt Based Pick-and-Sort Industrial Robotics Application. In 2018 Second IEEE International Conference on Robotic Computing (IRC). 17--24","author":"Zhang Yizhe","year":"2018","unstructured":"Yizhe Zhang , Lianjun Li , Michael Ripperger , Jorge Nicho , Malathi Veeraraghavan , and Andrea Fumagalli . 2018 . Gilbreth: A Conveyor-Belt Based Pick-and-Sort Industrial Robotics Application. In 2018 Second IEEE International Conference on Robotic Computing (IRC). 17--24 . Yizhe Zhang, Lianjun Li, Michael Ripperger, Jorge Nicho, Malathi Veeraraghavan, and Andrea Fumagalli. 2018. Gilbreth: A Conveyor-Belt Based Pick-and-Sort Industrial Robotics Application. In 2018 Second IEEE International Conference on Robotic Computing (IRC). 17--24."},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-015-0269-z"}],"event":{"name":"CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security","location":"Los Angeles CA USA","acronym":"CCS '22","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548606.3560681","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548606.3560681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:59Z","timestamp":1750182539000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548606.3560681"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":96,"alternative-id":["10.1145\/3548606.3560681","10.1145\/3548606"],"URL":"https:\/\/doi.org\/10.1145\/3548606.3560681","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}