1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LG2024★ 1 cited
Verification of Neural Networks' Global Robustness
Anan Kabaha, Dana Drachsler-Cohen
Neural networks are successful in various applications but are also susceptible to adversarial attacks. To show the safety of network classifiers, many verifiers have been introduc…
cs.LG2023
Verification of Neural Networks Local Differential Classification Privacy
Roie Reshef, Anan Kabaha, Olga Seleznova +1
Neural networks are susceptible to privacy attacks. To date, no verifier can reason about the privacy of individuals participating in the training set. We propose a new privacy pro…