Copertina

Managing Security Evidence in Safety-Critical Organizations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mohamad, Mazen, Steghöfer, Jan-Philipp, Knauss, Eric, Scandariato, Riccardo
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

In Specs we Trust? Conformance-Analysis of Implementation to Specifications in Node-RED and Associated Security Risks
di: Schneider, Simon, et al.
Pubblicazione: (2025)

A Taxonomy of Functional Security Features and How They Can Be Located
di: Hermann, Kevin, et al.
Pubblicazione: (2025)

Security Concerns in Generative AI Coding Assistants: Insights from Online Discussions on GitHub Copilot
di: Ferreyra, Nicolás E. Díaz, et al.
Pubblicazione: (2026)

Blockchain-based PKI within a Corporate Organization: Advantages and Challenges
di: Springer, Julian, et al.
Pubblicazione: (2024)

Securing the Software Package Supply Chain for Critical Systems
di: Murali, Ritwik, et al.
Pubblicazione: (2025)

R+R: Security Vulnerability Dataset Quality Is Critical
di: Yadav, Anurag Swarnim, et al.
Pubblicazione: (2025)

Prompting Techniques for Secure Code Generation: A Systematic Investigation
di: Tony, Catherine, et al.
Pubblicazione: (2024)

A Systematic Literature Review on Automated Exploit and Security Test Generation
di: Bui, Quang-Cuong, et al.
Pubblicazione: (2025)

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

Reading Between the Code Lines: On the Use of Self-Admitted Technical Debt for Security Analysis
di: Ferreyra, Nicolás E. Díaz, et al.
Pubblicazione: (2026)

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

Software Supply Chain Smells: Lightweight Analysis for Secure Dependency Management
di: Schmid, Larissa, et al.
Pubblicazione: (2026)

From Detection to Prevention: Explaining Security-Critical Code to Avoid Vulnerabilities
di: Krishnamurthy, Ranjith, et al.
Pubblicazione: (2026)

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

Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
di: Gultekin, Fikret Mert, et al.
Pubblicazione: (2025)

Software Security Analysis in 2030 and Beyond: A Research Roadmap
di: Böhme, Marcel, et al.
Pubblicazione: (2024)

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

A Mixed-Methods Study of Open-Source Software Maintainers On Vulnerability Management and Platform Security Features
di: Ayala, Jessy, et al.
Pubblicazione: (2024)

Software Bill of Materials in Software Supply Chain Security A Systematic Literature Review
di: O'Donoghue, Eric, et al.
Pubblicazione: (2025)

A Match Made in Heaven? AI-driven Matching of Vulnerabilities and Security Unit Tests
di: Iannone, Emanuele, et al.
Pubblicazione: (2025)

Organizational Security Resource Estimation via Vulnerability Queueing
di: Etcibasi, Abdullah Y., et al.
Pubblicazione: (2026)

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

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

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

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

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

LLM Security Guard for Code
di: Kavian, Arya, et al.
Pubblicazione: (2024)

Numeric Truncation Security Predicate
di: Mezhuev, Timofey, et al.
Pubblicazione: (2023)

An Introduction to Adaptive Software Security
di: Nia, Mehran Alidoost
Pubblicazione: (2023)

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

Using AI Assistants in Software Development: A Qualitative Study on Security Practices and Concerns
di: Klemmer, Jan H., et al.
Pubblicazione: (2024)

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

Certifying optimal MEV strategies with Lean
di: Bartoletti, Massimo, et al.
Pubblicazione: (2025)

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

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

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