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

1 citations · 1 across the 3 of their papers we have counts for

collaborators

8 papers

cs.SE2026

A Taxonomy of Runtime Faults in Model Context Protocol Servers

Joshua Owotogbe, Indika Kumara, Willem-Jan van den Heuvel +3

MCP (Model Context Protocol) enables LLMs (Large Language Models) to interact with external tools and data sources via a standardized protocol. Its rapid adoption in tool-augmented…

cs.SE20261 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.SE2026

Privacy Engineering: A Systematic Literature Review

Nemania Borovits, Damian Andrew Tamburri, Willem-Jan van den Heuvel

Privacy obligations under GDPR increasingly shape software engineering. We synthesize 90 studies from 2018 to 2025 using a systematic review with thematic synthesis to chart privac…

cs.SE2025

MLOps with Microservices: A Case Study on the Maritime Domain

Renato Cordeiro Ferreira, Rowanne Trapmann, Willem-Jan van den Heuvel

This case study describes challenges and lessons learned on building Ocean Guard: a Machine Learning-Enabled System (MLES) for anomaly detection in the maritime domain. First, the…

cs.SE2025

Accountability of Robust and Reliable AI-Enabled Systems: A Preliminary Study and Roadmap

Filippo Scaramuzza, Damian A. Tamburri, Willem-Jan van den Heuvel

This vision paper presents initial research on assessing the robustness and reliability of AI-enabled systems, and key factors in ensuring their safety and effectiveness in practic…

cs.SE2025

Chaos Engineering: A Multi-Vocal Literature Review

Joshua Owotogbe, Indika Kumara, Willem-Jan Van Den Heuvel +1

Organizations, particularly medium and large enterprises, typically rely heavily on complex, distributed systems to deliver critical services and products. However, the growing com…