| 2026 | AAAI | Tight Robustness Certification Through the Convex Hull of ℓ₀ Attacks. | Yuval Shapira, Dana Drachsler-Cohen |
| 2026 | AAAI | ExPairT-LLM: Exact Learning for LLM Code Selection by Pairwise Queries. | Tom Yuviler, Dana Drachsler-Cohen |
| 2025 | SAS | Enhancing Neural Network Robustness via Synthesis of Repair Programs. | Tom Yuviler, Dana Drachsler-Cohen |
| 2024 | CAV | Boosting Few-Pixel Robustness Verification via Covering Verification Designs. | Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen |
| 2024 | SAS | Robustness Verification of Multi-label Neural Network Classifiers. | Julian Mour, Dana Drachsler-Cohen |
| 2024 | VMCAI | Verification of Neural Networks' Local Differential Classification Privacy. | Roie Reshef, Anan Kabaha, Olga Seleznova, Dana Drachsler-Cohen |
| 2023 | VMCAI | Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization. | Anan Kabaha, Dana Drachsler-Cohen |
| 2022 | SAS | Boosting Robustness Verification of Semantic Feature Neighborhoods. | Anan Kabaha, Dana Drachsler-Cohen |
| 2020 | NSDI | Config2Spec: Mining Network Specifications from Network Configurations. | Rdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin T. Vechev |
| 2020 | SP | VerX: Safety Verification of Smart Contracts. | Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev |
| 2019 | ICML | DL2: Training and Querying Neural Networks with Logic. | Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev |
| 2018 | CCS | DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. | Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev |
| 2018 | CCS | Securify: Practical Security Analysis of Smart Contracts. | Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bnzli, Martin T. Vechev |
| 2018 | NSDI | Net2Text: Query-Guided Summarization of Network Forwarding Behaviors. | Rdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin T. Vechev |
| 2018 | PPoPP | Practical concurrent traversals in search trees. | Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav |
| 2018 | SP | AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. | Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin T. Vechev |
| 2017 | CAV | Synthesis with Abstract Examples. | Dana Drachsler-Cohen, Sharon Shoham, Eran Yahav |
| 2017 | COLT | Learning Disjunctions of Predicates. | Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav |
| 2015 | RecSys | ExcUseMe: Asking Users to Help in Item Cold-Start Recommendations. | Michal Aharon, Oren Anava, Noa Avigdor-Elgrabli, Dana Drachsler-Cohen, Shahar Golan, Oren Somekh |
| 2014 | OPODIS | LCD: Local Combining on Demand. | Dana Drachsler-Cohen, Erez Petrank |