conf.researchr.org / Dana Drachsler Cohen
Registered user since Tue 8 Dec 2015
Name:Dana Drachsler Cohen
Country:Israel
Affiliation:Technion
Personal website: https://ddana.net.technion.ac.il/
Contributions
2025
Static Analysis Symposium
SPLASH
- Author of Mini-Batch Robustness Verification of Deep Neural Networks within the OOPSLA-track
- Author of Quantization with Guaranteed Floating-Point Neural Network Classifications within the OOPSLA-track
- Author of Guarding the Privacy of Label-Only Access to Neural Network Classifiers via Formal Verification within the OOPSLA-track