Imagen de Portada

Bridging Safety and Security in Complex Systems: A Model-Based Approach with SAFT-GT Toolchain

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Pekaric, Irdin, Groner, Raffaela, Raschke, Alexander, Witte, Thomas, Adigun, Jubril Gbolahan, Felderer, Michael, Tichy, Matthias
Formato:	Preprint
Publicado:	2026
Materias:	Cryptography and Security Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Topical Shifts in the Dark Web: A Longitudinal Analysis of Content from the Cybercrime Ecosystem
por: Ricaldi, Roy, et al.
Publicado: (2026)

Department-Specific Security Awareness Campaigns: A Cross-Organizational Study of HR and Accounting
por: Pfister, Matthias, et al.
Publicado: (2025)

Sustaining Research Software: A Fitness Function Approach
por: Zech, Philipp, et al.
Publicado: (2025)

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

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

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

Security Barriers to Trustworthy AI-Driven Cyber Threat Intelligence in Finance: Evidence from Practitioners
por: Karaosman, Emir, et al.
Publicado: (2026)

Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
por: Kanchi, Shravya, et al.
Publicado: (2026)

Assessing Vulnerability in Smart Contracts: The Role of Code Complexity Metrics in Security Analysis
por: Tehrani, Masoud Jamshidiyan
Publicado: (2024)

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

"We provide our resources in a dedicated repository": Surveying the Transparency of HICSS publications
por: Pekaric, Irdin, et al.
Publicado: (2025)

SmartShift: A Secure and Efficient Approach to Smart Contract Migration
por: Hossain, Tahrim, et al.
Publicado: (2025)

The Kubernetes Security Landscape: AI-Driven Insights from Developer Discussions
por: Curtis, J. Alexander, et al.
Publicado: (2024)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
por: Gleirscher, Mario, et al.
Publicado: (2020)

A Holistic Approach to E-Commerce Innovation: Redefining Security and User Experience
por: Akash, Mohammad Olid Ali, et al.
Publicado: (2025)

An Ontology-Based Approach to Security Risk Identification of Container Deployments in OT Contexts
por: Landeck, Yannick, et al.
Publicado: (2026)

QASecClaw: A Multi-Agent LLM Approach for False Positive Reduction in Static Application Security Testing
por: Ameen, Mohd Ruhul, et al.
Publicado: (2026)

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

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

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

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

Numeric Truncation Security Predicate
por: Mezhuev, Timofey, et al.
Publicado: (2023)

LLM Security Guard for Code
por: Kavian, Arya, et al.
Publicado: (2024)

An Introduction to Adaptive Software Security
por: Nia, Mehran Alidoost
Publicado: (2023)

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

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

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

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

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

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

How Do Mobile Applications Enhance Security? An Exploratory Analysis of Use Cases and Provided Information
por: Pekaric, Irdin, et al.
Publicado: (2025)

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

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

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

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

Secure Coding with AI -- From Detection to Repair
por: Belozerov, Vladislav, et al.
Publicado: (2025)

Software Supply Chain Security of Web3
por: Monperrus, Martin
Publicado: (2025)

A Survey of Web Application Security Tutorials
por: Chembakottu, Bhagya, et al.
Publicado: (2026)

R+R: Reassessing Java Security API Misuse in Current LLMs: A Replication on JCA and JSSE APIs with External Security Knowledge
por: Lu, Tianhe, et al.
Publicado: (2026)

TELSAFE: Security Gap Quantitative Risk Assessment Framework
por: Siddiqui, Sarah Ali, et al.
Publicado: (2025)