Copertina

Engineering Trustworthy Machine-Learning Operations with Zero-Knowledge Proofs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Scaramuzza, Filippo, Quattrocchi, Giovanni, Tamburri, Damian A.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

VeriSBOM: Secure and Verifiable SBOM Sharing Via Zero-Knowledge Proofs
di: Castiglione, Gianpietro, et al.
Pubblicazione: (2026)

"Show Me You Comply... Without Showing Me Anything": Zero-Knowledge Software Auditing for AI-Enabled Systems
di: Scaramuzza, Filippo, et al.
Pubblicazione: (2025)

Automated Mapping of Vulnerability Advisories onto their Fix Commits in Open Source Repositories
di: Hommersom, Daan, et al.
Pubblicazione: (2021)

Towards Trust Proof for Secure Confidential Virtual Machines
di: Mao, Jingkai, et al.
Pubblicazione: (2024)

Python Fuzzing for Trustworthy Machine Learning Frameworks
di: Yegorov, Ilya, et al.
Pubblicazione: (2024)

Automated Trustworthiness Oracle Generation for Machine Learning Text Classifiers
di: Tung, Lam Nguyen, et al.
Pubblicazione: (2024)

Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
di: Ron, Javier, et al.
Pubblicazione: (2026)

TAIBOM: Bringing Trustworthiness to AI-Enabled Systems
di: Safronov, Vadim, et al.
Pubblicazione: (2025)

zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets
di: Sorger, Tom, 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)

Real-World Usability of Vulnerability Proof-of-Concepts: A Comprehensive Study
di: Dang, Wenjing, et al.
Pubblicazione: (2025)

PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages
di: Simsek, Deniz, et al.
Pubblicazione: (2025)

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

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
di: Li, Haoyu, et al.
Pubblicazione: (2026)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
di: Liu, Yuwei, et al.
Pubblicazione: (2026)

Game Rewards Vulnerabilities: Software Vulnerability Detection with Zero-Sum Game and Prototype Learning
di: Wen, Xin-Cheng, et al.
Pubblicazione: (2024)

Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study
di: Ayoughi, Negin, et al.
Pubblicazione: (2024)

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

Challenging Machine Learning Algorithms in Predicting Vulnerable JavaScript Functions
di: Ferenc, Rudolf, et al.
Pubblicazione: (2024)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
di: Hochrainer, Christoph, et al.
Pubblicazione: (2024)

An Empirical Study on Remote Code Execution in Machine Learning Model Hosting Ecosystems
di: Siddiq, Mohammed Latif, et al.
Pubblicazione: (2026)

Intent-Aware Authorization for Zero Trust CI/CD
di: Avirneni, Surya Teja
Pubblicazione: (2025)

Automating SBOM Generation with Zero-Shot Semantic Similarity
di: Pereira, Devin, et al.
Pubblicazione: (2024)

Identity Control Plane: The Unifying Layer for Zero Trust Infrastructure
di: Avirneni, Surya Teja
Pubblicazione: (2025)

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

DySec: A Machine Learning-based Dynamic Analysis for Detecting Malicious Packages in PyPI Ecosystem
di: Mehedi, Sk Tanzir, et al.
Pubblicazione: (2025)

PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
di: Liu, Xiting, et al.
Pubblicazione: (2026)

iblock: Accurate and Scalable Bitcoin Simulations with OMNeT++
di: Scatena, Niccolò, et al.
Pubblicazione: (2025)

Reflection-Driven Control for Trustworthy Code Agents
di: Wang, Bin, et al.
Pubblicazione: (2025)

Privacy and Confidentiality Requirements Engineering for Process Data
di: Haertel, Fabian, et al.
Pubblicazione: (2025)

ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
di: Xie, Yuchong, et al.
Pubblicazione: (2025)

SKILLS: Structured Knowledge Injection for LLM-Driven Telecommunications Operations
di: Brett, Ivo
Pubblicazione: (2026)

A Requirement-Based Framework for Engineering Adaptive Authentication
di: Hassan, Alzubair, et al.
Pubblicazione: (2026)

Establishing Workload Identity for Zero Trust CI/CD: From Secrets to SPIFFE-Based Authentication
di: Avirneni, Surya Teja
Pubblicazione: (2025)

Synergistic Directed Execution and LLM-Driven Analysis for Zero-Day AI-Generated Malware Detection
di: Edwards, George, et al.
Pubblicazione: (2026)

Zero-Shot Vulnerability Detection in Low-Resource Smart Contracts Through Solidity-Only Training
di: Hu, Minghao, et al.
Pubblicazione: (2026)

SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
di: Hu, Qi, et al.
Pubblicazione: (2026)

Tactics, Techniques, and Procedures (TTPs) in Interpreted Malware: A Zero-Shot Generation with Large Language Models
di: Zhang, Ying, et al.
Pubblicazione: (2024)

State Machine Model for The Update Framework (TUF)
di: Romansky, Brian, et al.
Pubblicazione: (2025)

HYDRA: A Hybrid Heuristic-Guided Deep Representation Architecture for Predicting Latent Zero-Day Vulnerabilities in Patched Functions
di: Farhad, Mohammad, et al.
Pubblicazione: (2025)