Cover Image

"Show Me You Comply... Without Showing Me Anything": Zero-Knowledge Software Auditing for AI-Enabled Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Scaramuzza, Filippo, Ferreira, Renato Cordeiro, Quattrocchi, Giovanni, Tamburri, Damian Andrew, Heuvel, Willem-Jan van den
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Engineering Trustworthy Machine-Learning Operations with Zero-Knowledge Proofs
by: Scaramuzza, Filippo, et al.
Published: (2025)

Accountability of Robust and Reliable AI-Enabled Systems: A Preliminary Study and Roadmap
by: Scaramuzza, Filippo, et al.
Published: (2025)

IaC Generation with LLMs: An Error Taxonomy and A Study on Configuration Knowledge Injection
by: Nekrasov, Roman, et al.
Published: (2025)

Engineering MLOps Pipelines With Data Quality: A Case Study on Tabular Datasets in Kaggle
by: Matteo Pancini, et al.
Published: (2025)

Chaos Engineering in the Wild: Findings from GitHub
by: Owotogbe, Joshua, et al.
Published: (2025)

Architectural Design Decisions for Self-Serve Data Platforms in Data Meshes
by: van Eijk, Tom, et al.
Published: (2024)

Chaos Engineering: A Multi-Vocal Literature Review
by: Owotogbe, Joshua, et al.
Published: (2024)

MLOps with Microservices: A Case Study on the Maritime Domain
by: Ferreira, Renato Cordeiro, et al.
Published: (2025)

Data Mesh: a Systematic Gray Literature Review
by: Goedegebuure, Abel, et al.
Published: (2023)

Reusability in MLOps: Leveraging Ports and Adapters to Build a Microservices Architecture for the Maritime Domain
by: Ferreira, Renato Cordeiro, et al.
Published: (2025)

Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison
by: Wang, Ruixin, et al.
Published: (2025)

Sustainability of Machine Learning-Enabled Systems: The Machine Learning Practitioner's Perspective
by: De Martino, Vincenzo, et al.
Published: (2025)

Common Sense Conversion: Can You Read Me?
by: Crawford, Walt
Published: (1988)

Show Me Your Code! Kill Code Poisoning: A Lightweight Method Based on Code Naturalness
by: Sun, Weisong, et al.
Published: (2025)

Don't Disturb Me: Challenges of Interacting with SoftwareBots on Open Source Software Projects
by: Wessel, Mairieli, et al.
Published: (2021)

Show Your Title! A Scoping Review on Verbalization in Software Engineering with LLM-Assisted Screening
by: Balogh, Gergő, et al.
Published: (2025)

AllHands: Ask Me Anything on Large-scale Verbatim Feedback via Large Language Models
by: Zhang, Chaoyun, et al.
Published: (2024)

Can You Mimic Me? Exploring the Use of Android Record & Replay Tools in Debugging
by: Song, Zihe, et al.
Published: (2025)

Code with Me or for Me? How Increasing AI Automation Transforms Developer Workflows
by: Chen, Valerie, et al.
Published: (2025)

A Tale of Two Systems: Characterizing Architectural Complexity on Machine Learning-Enabled Systems
by: Ferreira, Renato Cordeiro
Published: (2025)

A Metrics-Oriented Architectural Model to Characterize Complexity on Machine Learning-Enabled Systems
by: Ferreira, Renato Cordeiro
Published: (2025)

You Augment Me: Exploring ChatGPT-based Data Augmentation for Semantic Code Search
by: Wang, Yanlin, et al.
Published: (2024)

"Let it be Chaos in the Plumbing!" Usage and Efficacy of Chaos Engineering in DevOps Pipelines
by: Fossati, Stefano, et al.
Published: (2025)

Showing LLM-Generated Code Selectively Based on Confidence of LLMs
by: Li, Jia, et al.
Published: (2024)

Reality Check on Formal Methods in Industry: A Study of Verum Dezyne
by: Michele Chiari, et al.
Published: (2025)

How are MLOps Frameworks Used in Open Source Projects? An Empirical Characterization
by: Zampetti, Fiorella, et al.
Published: (2026)

Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering
by: Li, Ziyou, et al.
Published: (2025)

Can LLMs Generate User Stories and Assess Their Quality?
by: Quattrocchi, Giovanni, et al.
Published: (2025)

Let Me Show You: Learning by Retrieving from Egocentric Video for Robotic Manipulation
by: Zhu, Yichen, et al.
Published: (2025)

SE Research is a Complex Ecosystem: Isolated Fixes Keep Failing -- and Systems Thinking Shows Why
by: Shaw, Mary, et al.
Published: (2026)

Help Me to Understand this Commit! -- A Vision for Contextualized Code Reviews
by: Unterkalmsteiner, Michael, et al.
Published: (2024)

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

Show and Tell: Prompt Strategies for Style Control in Multi-Turn LLM Code Generation
by: Bohr, Jeremiah
Published: (2025)

CrackMeBench: Binary Reverse Engineering for Agents
by: David, Isaac, et al.
Published: (2026)

An Audit of Machine Learning Experiments on Software Defect Prediction
by: Destefanis, Giuseppe, et al.
Published: (2026)

Recursive Self-Similarity in Deep Weight Spaces of Neural Architectures: A Fractal and Coarse Geometry Perspective
by: Moharil, Ambarish, et al.
Published: (2025)

Keep Me Updated: An Empirical Study of Proprietary Vendor Blobs in Android Firmware
by: Wen, Elliott, et al.
Published: (2024)

ReadMe.LLM: A Framework to Help LLMs Understand Your Library
by: Wijaya, Sandya, et al.
Published: (2025)

Show Me When and Where: Towards Referring Video Object Segmentation in the Wild
by: Gao, Mingqi, et al.
Published: (2026)

Designing an Objective-Driven Test Method for the Comparative Performance Evaluation of Commercial DTI Solutions for Counter UAS systems
by: Mohamoud, Ali, et al.
Published: (2024)