Research output per year
Research output per year
Fingerprint
Dive into the research topics where Dana Drachsler Cohen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Researchers
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Verification of Neural Networks’ Local Differential Classification Privacy
Reshef, R., Kabaha, A., Seleznova, O. & Drachsler-Cohen, D., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). p. 98-123 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Deep Learning Robustness Verification for Few-Pixel Attacks
Shapira, Y., Avneri, E. & Drachsler-Cohen, D., 6 Apr 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA1, 90.Research output: Contribution to journal › Article › peer-review
Open Access -
Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization
Kabaha, A. & Drachsler-Cohen, D., 2023, Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Proceedings. Dragoi, C., Emmi, M. & Wang, J. (eds.). p. 203-227 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13881 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
One Pixel Adversarial Attacks via Sketched Programs
Yuviler, T. & Drachsler-Cohen, D., 6 Jun 2023, In: Proceedings of the ACM on Programming Languages. 7, 187.Research output: Contribution to journal › Article › peer-review
Open Access -
Boosting Robustness Verification of Semantic Feature Neighborhoods
Kabaha, A. & Drachsler-Cohen, D., 2022, Static Analysis - 29th International Symposium, SAS 2022, Proceedings. Singh, G. & Urban, C. (eds.). p. 299-324 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13790 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations