Preprint
Jul 2026
Privacy-Preserving Robustness Verification for Neural Networks
The SecureCROWN framework is built upon secure two-party computation (2PC), and enables a model owner and a data owner to jointly compute certified robustness bounds -- revealing only the final result while provably protecting both parties' private data under the semi-honest security model.
Nianyun Song, Xiaokun Luan, Yu Guo et al.
· 1 citation