Anan Kabaha -

Registered user since Wed 26 Oct 2022

Name:Anan Kabaha

Country:Israel

Affiliation:Technion, Israel Institute of Technology

Contributions

2025

SPLASH

Author of Guarding the Privacy of Label-Only Access to Neural Network Classifiers via Formal Verification within the OOPSLA-track
Author of Quantization with Guaranteed Floating-Point Neural Network Classifications within the OOPSLA-track

2024

SPLASH

Author of Verification of Neural Networks' Global Robustness within the OOPSLA 2024-track

VMCAI

Author of Verification of Neural Networks’ Local Differential Classification Privacy within the VMCAI 2024-track

2023

VMCAI

Author of Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization within the VMCAI 2023-track

2022

Static Analysis Symposium

Author of Boosting Robustness Verification of Semantic Feature Neighborhoods within the SAS-track