Verification of Neural Networks' Local Differential Classification Privacy
Abstract elided by the publisher.
Related papers
- Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification OOPSLA 2025
- NNV 2.0: The Neural Network Verification Tool CAV 2023
- Verification of Neural Networks' Global Robustness OOPSLA 2024
- Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability CAV 2021
- Scalable Polyhedral Verification of Recurrent Neural Networks CAV 2021
- Revisiting Differential Verification: Equivalence Verification with Confidence TACAS 2025
- Safety Verification of Deep Neural Networks CAV 2017
- Quantization with Guaranteed Floating-Point Neural Network Classifications OOPSLA 2025