Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anan Kabaha
conf.researchr.org general profile
POPL 2023 profile
POPL 2024 profile
SPLASH 2022 profile
SPLASH 2024 profile
Registered user since Wed 26 Oct 2022
Name:
Anan Kabaha
Country:
Israel
Affiliation:
Technion, Israel Institute of Technology
Contributions
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
Share
x
Sun 22 Dec 02:12
