2 citations · 3 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025★ 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★ 2 cited
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…