Cover Image

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gleirscher, Mario, Johnson, Nikita, Karachristou, Panayiotis, Calinescu, Radu, Law, James, Clark, John
Format:	Preprint
Published:	2020
Subjects:	Robotics Cryptography and Security Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
by: Gleirscher, Mario, et al.
Published: (2021)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
by: Mohamad, Mazen
Published: (2025)

RVDebloater: Mode-based Adaptive Firmware Debloating for Robotic Vehicles
by: Salehi, Mohsen, et al.
Published: (2026)

Towards Understanding and Applying Security Assurance Cases for Automotive Systems
by: Mohamad, Mazen
Published: (2024)

Evaluating the Role of Security Assurance Cases in Agile Medical Device Development
by: Fransson, Max, et al.
Published: (2024)

Safety Controller Synthesis for Collaborative Robots
by: Gleirscher, Mario, et al.
Published: (2020)

Managing Security Evidence in Safety-Critical Organizations
by: Mohamad, Mazen, et al.
Published: (2024)

How to Secure Existing C and C++ Software without Memory Safety
by: Erlingsson, Úlfar
Published: (2025)

SkillProbe: Security Auditing for Emerging Agent Skill Marketplaces via Multi-Agent Collaboration
by: Guo, Zihan, et al.
Published: (2026)

Challenges in Developing Secure Software -- Results of an Interview Study in the German Software Industry
by: Mattukat, Alex R., et al.
Published: (2025)

A Developer-Centric Study Exploring Mobile Application Security Practices and Challenges
by: Peruma, Anthony, et al.
Published: (2024)

Bridging Safety and Security in Complex Systems: A Model-Based Approach with SAFT-GT Toolchain
by: Pekaric, Irdin, et al.
Published: (2026)

SoK: Analysis of Software Supply Chain Security by Establishing Secure Design Properties
by: Okafor, Chinenye, et al.
Published: (2024)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
by: Foster, Simon, et al.
Published: (2020)

SBOMproof: Beyond Alleged SBOM Compliance for Supply Chain Security of Container Images
by: Bufalino, Jacopo, et al.
Published: (2025)

Static Security Vulnerability Scanning of Proprietary and Open-Source Software: An Adaptable Process with Variants and Results
by: Cusick, James J.
Published: (2025)

Operationalizing Research Software for Supply Chain Security
by: Kalu, Kelechi G., et al.
Published: (2026)

An Industry Interview Study of Software Signing for Supply Chain Security
by: Kalu, Kelechi G., et al.
Published: (2024)

An Interview Study on Third-Party Cyber Threat Hunting Processes in the U.S. Department of Homeland Security
by: Maxam III, William P., et al.
Published: (2024)

PrescientFuzz: A more effective exploration approach for grey-box fuzzing
by: Blackwell, Daniel, et al.
Published: (2024)

Security study based on the Chatgptplugin system: ldentifying Security Vulnerabilities
by: Ren, Ruomai
Published: (2025)

Leveraging Security Observability to Strengthen Security of Digital Ecosystem Architecture
by: Ramachandran, Renjith
Published: (2024)

Security Incentivization: An Empirical Study of how Micropayments Impact Code Security
by: Rass, Stefan, et al.
Published: (2026)

Risk Structures: Towards Engineering Risk-aware Autonomous Systems
by: Gleirscher, Mario
Published: (2019)

How Secure is Secure Code Generation? Adversarial Prompts Put LLM Defenses to the Test
by: Tessa, Melissa, et al.
Published: (2026)

Numeric Truncation Security Predicate
by: Mezhuev, Timofey, et al.
Published: (2023)

LLM Security Guard for Code
by: Kavian, Arya, et al.
Published: (2024)

An Introduction to Adaptive Software Security
by: Nia, Mehran Alidoost
Published: (2023)

Securing Tomorrow's Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies
by: Jain, Ridhi, et al.
Published: (2024)

Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection
by: Lin, Bo, et al.
Published: (2025)

NIFuzz: Estimating Quantified Information Flow with a Fuzzer
by: Blackwell, Daniel, et al.
Published: (2025)

Developing Assurance Cases for Adversarial Robustness and Regulatory Compliance in LLMs
by: Momcilovic, Tomas Bueno, et al.
Published: (2024)

An Empirical Study on the Security Vulnerabilities of GPTs
by: Wu, Tong, et al.
Published: (2025)

120 Domain-Specific Languages for Security
by: Krausz, Markus, et al.
Published: (2024)

An Exploratory Study on the Engineering of Security Features
by: Hermann, Kevin, et al.
Published: (2025)

LLMs for Cyber Security: New Opportunities
by: Divakaran, Dinil Mon, et al.
Published: (2024)

Privacy Bills of Materials: A Transparent Privacy Information Inventory for Collaborative Privacy Notice Generation in Mobile App Development
by: Tao, Zhen, et al.
Published: (2025)

A User-centered Security Evaluation of Copilot
by: Asare, Owura, et al.
Published: (2023)

Fixing Security Vulnerabilities with AI in OSS-Fuzz
by: Zhang, Yuntong, et al.
Published: (2024)

GView: A Versatile Assistant for Security Researchers
by: Zaharia, Raul, et al.
Published: (2024)