Publications

2026

ExPairT-LLM: Exact Learning for LLM Code Selection by Pairwise Queries
Tom Yuviler and Dana Drachsler-Cohen
AAAI 2026

Tight Robustness Certification through the Convex Hull of L0 Attacks
Yuval Shapira and Dana Drachsler-Cohen
AAAI 2026

2025

Enhancing Neural Network Robustness via Synthesis of Repair Programs
Tom Yuviler and Dana Drachsler-Cohen
SAS 2025

Mini-Batch Robustness Verification of Deep Neural Networks
Saar Tzour-Shaday and Dana Drachsler-Cohen
OOPSLA 2025

Quantization with Guaranteed Floating-Point Neural Network Classifications
Anan Kabaha and Dana Drachsler-Cohen
OOPSLA 2025

Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification
Anan Kabaha and Dana Drachsler-Cohen
OOPSLA 2025

2024

Robustness Verification of Multi-Label Neural Network Classifiers
Julian Mour and Dana Drachsler-Cohen
SAS 2024

Boosting Few-Pixel Robustness Verification via Covering Verification Designs
Yuval Shapira, Naor Wiesel, Shahar Shabelman and Dana Drachsler-Cohen
CAV 2024

Verification of Neural Networks’ Global Robustness
Anan Kabaha and Dana Drachsler-Cohen
OOPSLA 2024

Verification of Neural Networks’ Local Differential Classification Privacy
Roie Reshef, Anan Kabaha, Olga Seleznova and Dana Drachsler-Cohen
VMCAI 2024

2023

One Pixel Adversarial Attacks via Sketched Programs
Tom Yuviler and Dana Drachsler-Cohen
PLDI 2023

Deep Learning Robustness Verification for Few-Pixel Attacks
Yuval Shapira, Eran Avneri, Dana Drachsler-Cohen
OOPSLA 2023

Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization
Anan Kabaha and Dana Drachsler-Cohen
VMCAI 2023

2022

Boosting Robustness Verification of Semantic Feature Neighborhoods
Anan Kabaha and Dana Drachsler-Cohen
SAS 2022

VeNuS: Neural Network Robustness Specifications via Verifier-guided Optimization
Anan Kabaha and Dana Drachsler-Cohen
FCS 2022

2020

Config2Spec: Mining Network Specifications from Network Configurations
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev
NSDI 2020

VerX: Safety Verification of Smart Contracts
Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin Vechev
S&P 2020
2019

DL2: Training and Querying Neural Networks with Logic
Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin Vechev
ICML 2019
2018

Securify: Practical Security Analysis of Smart Contracts
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin Vechev
CCS 2018

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin Vechev
CCS 2018

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin Vechev
S&P 2018

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev
NSDI 2018

Practical Concurrent Traversals in Search Trees
Dana Drachsler-Cohen, Martin Vechev, and Eran Yahav
PPoPP 2018
2017

Synthesis with Abstract Examples
Dana Drachsler-Cohen, Sharon Shoham, and Eran Yahav
CAV 2017

Learning Disjunctions of Predicates
Nader H. Bshouty, Dana Drachsler-Cohen, Martin Vechev, Eran Yahav
COLT 2017
2015

ExcUseMe: Asking Users to Help in Item Cold-Start Recommendations
Michal Aharon, Oren Anava, Noa Avigdor-Elgrabli, Dana Drachsler-Cohen, Shahar Golan, and Oren Somekh
RecSys 2015
2014

LCD: Local Combining on Demand
Dana Drachsler-Cohen and Erez Petrank
OPODIS 2014

Practical Concurrent Binary Search Trees via Logical Ordering
Dana Drachsler, Martin Vechev, and Eran Yahav
PPoPP 2014