Buchumschlag

120 Domain-Specific Languages for Security

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Krausz, Markus, Peldszus, Sven, Regazzoni, Francesco, Berger, Thorsten, Güneysu, Tim
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Many Tools, Few Exploitable Vulnerabilities: A Survey of 246 Static Code Analyzers for Security
von: Hermann, Kevin, et al.
Veröffentlicht: (2026)

An Exploratory Study on the Engineering of Security Features
von: Hermann, Kevin, et al.
Veröffentlicht: (2025)

Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
von: Peldszus, Sven, et al.
Veröffentlicht: (2026)

A Taxonomy of Functional Security Features and How They Can Be Located
von: Hermann, Kevin, et al.
Veröffentlicht: (2025)

VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns
von: Li, Jia, et al.
Veröffentlicht: (2026)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
von: Mohamad, Mazen
Veröffentlicht: (2025)

VulInstruct: Teaching LLMs Root-Cause Reasoning for Vulnerability Detection via Security Specifications
von: Zhu, Hao, et al.
Veröffentlicht: (2025)

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

Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility
von: Hong, Yining, et al.
Veröffentlicht: (2026)

Aligning Security Compliance and DevOps: A Longitudinal Study
von: Moyón, Fabiola, et al.
Veröffentlicht: (2025)

SBOMproof: Beyond Alleged SBOM Compliance for Supply Chain Security of Container Images
von: Bufalino, Jacopo, et al.
Veröffentlicht: (2025)

Large Language Models for Secure Code Assessment: A Multi-Language Empirical Study
von: Dozono, Kohei, et al.
Veröffentlicht: (2024)

Security of Language Models for Code: A Systematic Literature Review
von: Chen, Yuchen, et al.
Veröffentlicht: (2024)

A Data-Mining Based Study of Security Vulnerability Types and Their Mitigation in Different Languages
von: Antal, Gábor, et al.
Veröffentlicht: (2024)

GenSIaC: Toward Security-Aware Infrastructure-as-Code Generation with Large Language Models
von: Li, Yikun, et al.
Veröffentlicht: (2025)

Leveraging Security Observability to Strengthen Security of Digital Ecosystem Architecture
von: Ramachandran, Renjith
Veröffentlicht: (2024)

Security study based on the Chatgptplugin system: ldentifying Security Vulnerabilities
von: Ren, Ruomai
Veröffentlicht: (2025)

Security Incentivization: An Empirical Study of how Micropayments Impact Code Security
von: Rass, Stefan, et al.
Veröffentlicht: (2026)

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

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

LLM Security Guard for Code
von: Kavian, Arya, et al.
Veröffentlicht: (2024)

Numeric Truncation Security Predicate
von: Mezhuev, Timofey, et al.
Veröffentlicht: (2023)

An Introduction to Adaptive Software Security
von: Nia, Mehran Alidoost
Veröffentlicht: (2023)

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

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

Multi-Agent Taint Specification Extraction for Vulnerability Detection
von: Ghebremichael, Jonah, et al.
Veröffentlicht: (2026)

LLMs for Cyber Security: New Opportunities
von: Divakaran, Dinil Mon, et al.
Veröffentlicht: (2024)

An Empirical Study on the Security Vulnerabilities of GPTs
von: Wu, Tong, et al.
Veröffentlicht: (2025)

Expert-in-the-Loop Systems with Cross-Domain and In-Domain Few-Shot Learning for Software Vulnerability Detection
von: Farr, David, et al.
Veröffentlicht: (2025)

From Generalist to Specialist: Exploring CWE-Specific Vulnerability Detection
von: Atiiq, Syafiq Al, et al.
Veröffentlicht: (2024)

Fixing Security Vulnerabilities with AI in OSS-Fuzz
von: Zhang, Yuntong, et al.
Veröffentlicht: (2024)

GView: A Versatile Assistant for Security Researchers
von: Zaharia, Raul, et al.
Veröffentlicht: (2024)

Managing Security Evidence in Safety-Critical Organizations
von: Mohamad, Mazen, et al.
Veröffentlicht: (2024)

A User-centered Security Evaluation of Copilot
von: Asare, Owura, et al.
Veröffentlicht: (2023)

Operationalizing Research Software for Supply Chain Security
von: Kalu, Kelechi G., et al.
Veröffentlicht: (2026)

Secure Coding with AI -- From Detection to Repair
von: Belozerov, Vladislav, et al.
Veröffentlicht: (2025)

Software Supply Chain Security of Web3
von: Monperrus, Martin
Veröffentlicht: (2025)

A Survey of Web Application Security Tutorials
von: Chembakottu, Bhagya, et al.
Veröffentlicht: (2026)

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

When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
von: Ma, Jie, et al.
Veröffentlicht: (2026)