Boosting Robustness Verification of Semantic Feature Neighborhoods. - Anan Kabaha; Dana Drachsler-Cohen (SAS, 2022)

Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization. - Anan Kabaha; Dana Drachsler-Cohen (VMCAI, 2023)

Verification of Neural Networks' Local Differential Classification Privacy. - Roie Reshef; Anan Kabaha; Olga Seleznova; Dana Drachsler-Cohen (VMCAI (2), 2024)

Verification of Neural Networks' Global Robustness. - Anan Kabaha; Dana Drachsler-Cohen (Proc. ACM Program. Lang., 2024)

Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification. - Anan Kabaha; Dana Drachsler-Cohen (Proc. ACM Program. Lang., 2025)