1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.SE2026★ 1 cited
"Show Me You Comply... Without Showing Me Anything": Zero-Knowledge Software Auditing for AI-Enabled Systems
Filippo Scaramuzza, Renato Cordeiro Ferreira, Giovanni Quattrocchi +2
Classical software verification and validation techniques, such as procedural audits, formal methods, or model documentation, are the traditional mechanisms used to achieve the ver…
cs.SE2025
Engineering Trustworthy Machine-Learning Operations with Zero-Knowledge Proofs
Filippo Scaramuzza, Giovanni Quattrocchi, Damian A. Tamburri
As Artificial Intelligence (AI) systems, particularly those based on machine learning (ML), become integral to high-stakes applications, their probabilistic and opaque nature poses…