Olive Franzese-McLaughlin

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification

This work formalizes rigorous cryptographic security notions tailored to CMC frameworks, introduces a generic protocol template, and proves that it satisfies these requirements, which offer both cautionary evidence about existing approaches and constructive guidance for designing secure, privacy-preserving ML auditing protocols.