Anan Kabaha

According to our database, Anan Kabaha authored at least 5 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification.

Anan Kabaha, Dana Drachsler-Cohen

Proc. ACM Program. Lang., 2025

2024

Verification of Neural Networks' Global Robustness.

Anan Kabaha, Dana Drachsler-Cohen

Proc. ACM Program. Lang., 2024

Verification of Neural Networks' Local Differential Classification Privacy.

Roie Reshef, Anan Kabaha, Olga Seleznova, Dana Drachsler-Cohen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization.

Anan Kabaha, Dana Drachsler-Cohen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

2022

Boosting Robustness Verification of Semantic Feature Neighborhoods.

Anan Kabaha, Dana Drachsler-Cohen

Proceedings of the Static Analysis - 29th International Symposium, 2022