Verification of Neural Networks Local Differential Classification Privacy

31 October 2023

Papers citing "Verification of Neural Networks Local Differential Classification Privacy"

4 / 4 papers shown

Title
VDDP: Verifiable Distributed Differential Privacy under the Client-Server-Verifier Setup Haochen Sun Xi He 38 0 0 30 Apr 2025
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification Anan Kabaha Dana Drachsler-Cohen AAML 38 0 0 23 Feb 2025
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 101 138 0 29 Nov 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,818 0 03 Feb 2017