Buchumschlag

VeriSBOM: Secure and Verifiable SBOM Sharing Via Zero-Knowledge Proofs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Castiglione, Gianpietro, Ebrahimi, Shahriar, Khakpour, Narges
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets
von: Sorger, Tom, et al.
Veröffentlicht: (2026)

Automating SBOM Generation with Zero-Shot Semantic Similarity
von: Pereira, Devin, et al.
Veröffentlicht: (2024)

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

SBOM Generation Tools in the Python Ecosystem: an In-Detail Analysis
von: Cofano, Serena, et al.
Veröffentlicht: (2024)

A Practical Solution to Systematically Monitor Inconsistencies in SBOM-based Vulnerability Scanners
von: Rosso, Martin, et al.
Veröffentlicht: (2025)

UniBOM -- A Unified SBOM Analysis and Visualisation Tool for IoT Systems and Beyond
von: Safronov, Vadim, et al.
Veröffentlicht: (2025)

VDGraph: A Graph-Theoretic Approach to Unlock Insights from SBOM and SCA Data
von: Xia, Howell, et al.
Veröffentlicht: (2025)

SBOM.EXE: Countering Dynamic Code Injection based on Software Bill of Materials in Java
von: Sharma, Aman, et al.
Veröffentlicht: (2024)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
von: Khakpour, Narges, et al.
Veröffentlicht: (2025)

Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
von: Ron, Javier, et al.
Veröffentlicht: (2026)

Engineering Trustworthy Machine-Learning Operations with Zero-Knowledge Proofs
von: Scaramuzza, Filippo, et al.
Veröffentlicht: (2025)

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

Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
von: Kanchi, Shravya, et al.
Veröffentlicht: (2026)

Trustworthy and Confidential SBOM Exchange
von: Ishgair, Eman Abu, et al.
Veröffentlicht: (2025)

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

Formally Verifying Noir Zero Knowledge Programs with NAVe
von: Antonino, Pedro, et al.
Veröffentlicht: (2026)

Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation
von: Lin, Bo, et al.
Veröffentlicht: (2025)

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)

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
von: Domenech, Alvaro Alonso, et al.
Veröffentlicht: (2024)

DiVerify: Hardening Identity-Based Software Signing with Diverse-Context Scopes
von: Okafor, Chinenye, et al.
Veröffentlicht: (2024)

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
von: Li, Haoyu, et al.
Veröffentlicht: (2026)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
von: Liu, Yuwei, et al.
Veröffentlicht: (2026)

Real-World Usability of Vulnerability Proof-of-Concepts: A Comprehensive Study
von: Dang, Wenjing, et al.
Veröffentlicht: (2025)

PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages
von: Simsek, Deniz, et al.
Veröffentlicht: (2025)

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

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

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

OmniBOR: A System for Automatic, Verifiable Artifact Resolution across Software Supply Chains
von: Seshadri, Bharathi, et al.
Veröffentlicht: (2024)

A Universal System for OpenID Connect Sign-ins with Verifiable Credentials and Cross-Device Flow
von: Hoops, Felix, 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)

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

zkRansomware: Proof-of-Data Recoverability and Multi-round Game Theoretic Modeling of Ransomware Decisions
von: Hou, Xinyu, et al.
Veröffentlicht: (2026)

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

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

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)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
von: Hochrainer, Christoph, et al.
Veröffentlicht: (2024)

Poking Around in the Dark: Why a Shared Understanding of Components Matters
von: Reichmann, Felix, et al.
Veröffentlicht: (2026)

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

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