Buchumschlag

In Specs we Trust? Conformance-Analysis of Implementation to Specifications in Node-RED and Associated Security Risks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schneider, Simon, Kashish, Komal, Tuma, Katja, Scandariato, Riccardo
Format:	Preprint
Veröffentlicht:	2025
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

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

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

Risks of ignoring uncertainty propagation in AI-augmented security pipelines
von: Mezzi, Emanuele, et al.
Veröffentlicht: (2024)

Towards Trust Proof for Secure Confidential Virtual Machines
von: Mao, Jingkai, et al.
Veröffentlicht: (2024)

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

120 Domain-Specific Languages for Security
von: Krausz, Markus, et al.
Veröffentlicht: (2024)

Secure Conformance Checking using Token-based Replay and Homomorphic Encryption
von: Rodríguez-Flores, Luis-Armando, et al.
Veröffentlicht: (2026)

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

Designing Secure AI-based Systems: a Multi-Vocal Literature Review
von: Schneider, Simon, et al.
Veröffentlicht: (2024)

Toward Automated Security Risk Detection in Large Software Using Call Graph Analysis
von: Pecka, Nicholas, et al.
Veröffentlicht: (2025)

Prompting Techniques for Secure Code Generation: A Systematic Investigation
von: Tony, Catherine, et al.
Veröffentlicht: (2024)

A Systematic Literature Review on Automated Exploit and Security Test Generation
von: Bui, Quang-Cuong, et al.
Veröffentlicht: (2025)

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

TELSAFE: Security Gap Quantitative Risk Assessment Framework
von: Siddiqui, Sarah Ali, et al.
Veröffentlicht: (2025)

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

Toward Secure Web to ERP Payment Flows: A Case Study of HTTP Header Trust Failures in SAP Based Systems
von: Dini, Vick
Veröffentlicht: (2026)

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

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

Heimdallr: Characterizing and Detecting LLM-Induced Security Risks in GitHub CI Workflows
von: Ruan, Bonan, et al.
Veröffentlicht: (2026)

An Empirical Analysis of EOS Blockchain: Architecture, Contract, and Security
von: Liu, Haiyang, et al.
Veröffentlicht: (2025)

What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice
von: Niu, Yuqing, et al.
Veröffentlicht: (2025)

SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
von: Marquer, Yoann, et al.
Veröffentlicht: (2026)

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

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
von: Sharp, Toby
Veröffentlicht: (2025)

Software Supply Chain Smells: Lightweight Analysis for Secure Dependency Management
von: Schmid, Larissa, et al.
Veröffentlicht: (2026)

An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security
von: Boltz, Nicolas, et al.
Veröffentlicht: (2024)

An In Depth Analysis of a Cyber Attack: Case Study and Security Insights
von: Pakshad, Puya
Veröffentlicht: (2024)

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

On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
von: Jin, Monica, et al.
Veröffentlicht: (2025)

A Security Risk Assessment Method for Distributed Ledger Technology (DLT) based Applications: Three Industry Case Studies
von: Baninemeh, Elena, et al.
Veröffentlicht: (2024)

When AI Takes the Wheel: Security Analysis of Framework-Constrained Program Generation
von: Liu, Yue, et al.
Veröffentlicht: (2025)

Assessing Vulnerability in Smart Contracts: The Role of Code Complexity Metrics in Security Analysis
von: Tehrani, Masoud Jamshidiyan
Veröffentlicht: (2024)

A Privacy-Preserving Approach to Conformance Checking
von: Rodríguez-Flores, Luis, et al.
Veröffentlicht: (2026)

Intent-Aware Authorization for Zero Trust CI/CD
von: Avirneni, Surya Teja
Veröffentlicht: (2025)

From Obfuscated to Obvious: A Comprehensive JavaScript Deobfuscation Tool for Security Analysis
von: Zhou, Dongchao, et al.
Veröffentlicht: (2025)

MCP-SandboxScan: WASM-based Secure Execution and Runtime Analysis for MCP Tools
von: Tan, Zhuoran, et al.
Veröffentlicht: (2026)

SecDOAR: A Software Reference Architecture for Security Data Orchestration, Analysis and Reporting
von: Chauhan, Muhammad Aufeef, et al.
Veröffentlicht: (2024)

Identity Control Plane: The Unifying Layer for Zero Trust Infrastructure
von: Avirneni, Surya Teja
Veröffentlicht: (2025)

Characterizing Trust Boundary Vulnerabilities in TEE Containers: An Empirical Study
von: Liu, Weijie, et al.
Veröffentlicht: (2025)

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