Dana Drachsler-Cohen

39 papers A* 8A 1B 6Misc 2Journal 18Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	ExPairT-LLM: Exact Learning for LLM Code Selection by Pairwise Queries. AAAI Tom Yuviler, Dana Drachsler-Cohen
2026	A*	`conf`	Tight Robustness Certification Through the Convex Hull of ℓ₀ Attacks. AAAI Yuval Shapira, Dana Drachsler-Cohen
2025	B	`conf`	Enhancing Neural Network Robustness via Synthesis of Repair Programs. SAS Tom Yuviler, Dana Drachsler-Cohen
2025	J	`jnl`	ExPairT-LLM: Exact Learning for LLM Code Selection by Pairwise Queries. CoRR Tom Yuviler, Dana Drachsler-Cohen
2025	J	`jnl`	Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification. CoRR Anan Kabaha, Dana Drachsler-Cohen
2025	J	`jnl`	Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification. Proc. ACM Program. Lang. Anan Kabaha, Dana Drachsler-Cohen
2025	J	`jnl`	Logic and Neural Networks (Dagstuhl Seminar 25061). Dagstuhl Reports Vaishak Belle, Michael Benedikt, Dana Drachsler-Cohen, Daniel Neider, Tom Yuviler
2025	J	`jnl`	Mini-Batch Robustness Verification of Deep Neural Networks. CoRR Saar Tzour-Shaday, Dana Drachsler-Cohen
2025	J	`jnl`	Mini-Batch Robustness Verification of Deep Neural Networks. Proc. ACM Program. Lang. Saar Tzour-Shaday, Dana Drachsler-Cohen
2025	J	`jnl`	Quantization with Guaranteed Floating-Point Neural Network Classifications. Proc. ACM Program. Lang. Anan Kabaha, Dana Drachsler-Cohen
2025	J	`jnl`	Tight Robustness Certification through the Convex Hull of ℓ CoRR Yuval Shapira, Dana Drachsler-Cohen
2024	—	`conf`	Boosting Few-Pixel Robustness Verification via Covering Verification Designs. CAV (2) Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen
2024	J	`jnl`	Boosting Few-Pixel Robustness Verification via Covering Verification Designs. CoRR Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen
2024	B	`conf`	Robustness Verification of Multi-label Neural Network Classifiers. SAS Julian Mour, Dana Drachsler-Cohen
2024	J	`jnl`	Verification of Neural Networks' Global Robustness. CoRR Anan Kabaha, Dana Drachsler-Cohen
2024	J	`jnl`	Verification of Neural Networks' Global Robustness. Proc. ACM Program. Lang. Anan Kabaha, Dana Drachsler-Cohen
2024	—	`conf`	Verification of Neural Networks' Local Differential Classification Privacy. VMCAI (2) Roie Reshef, Anan Kabaha, Olga Seleznova, Dana Drachsler-Cohen
2023	J	`jnl`	Deep Learning Robustness Verification for Few-Pixel Attacks. Proc. ACM Program. Lang. Yuval Shapira, Eran Avneri, Dana Drachsler-Cohen
2023	B	`conf`	Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization. VMCAI Anan Kabaha, Dana Drachsler-Cohen
2023	J	`jnl`	One Pixel Adversarial Attacks via Sketched Programs. Proc. ACM Program. Lang. Tom Yuviler, Dana Drachsler-Cohen
2023	J	`jnl`	Verification of Neural Networks Local Differential Classification Privacy. CoRR Roie Reshef, Anan Kabaha, Olga Seleznova, Dana Drachsler-Cohen
2022	B	`conf`	Boosting Robustness Verification of Semantic Feature Neighborhoods. SAS Anan Kabaha, Dana Drachsler-Cohen
2022	J	`jnl`	Boosting Robustness Verification of Semantic Feature Neighborhoods. CoRR Anan Kabaha, Dana Drachsler-Cohen
2020	Misc	`conf`	Config2Spec: Mining Network Specifications from Network Configurations. NSDI Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin T. Vechev
2020	A*	`conf`	VerX: Safety Verification of Smart Contracts. SP Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev
2019	A*	`conf`	DL2: Training and Querying Neural Networks with Logic. ICML Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev
2018	A*	`conf`	AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. IEEE Symposium on Security and Privacy Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin T. Vechev
2018	A*	`conf`	DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. CCS Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev
2018	Misc	`conf`	Net2Text: Query-Guided Summarization of Network Forwarding Behaviors. NSDI Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin T. Vechev
2018	B	`conf`	Practical concurrent traversals in search trees. PPoPP Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
2018	A*	`conf`	Securify: Practical Security Analysis of Smart Contracts. CCS Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin T. Vechev
2018	J	`jnl`	Securify: Practical Security Analysis of Smart Contracts. CoRR Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, Martin T. Vechev
2017	—	`—`	Exact Programming by Example. Dana Drachsler-Cohen
2017	A*	`conf`	Learning Disjunctions of Predicates. COLT Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
2017	J	`jnl`	Learning Disjunctions of Predicates. CoRR Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
2017	—	`conf`	Synthesis with Abstract Examples. CAV (1) Dana Drachsler-Cohen, Sharon Shoham, Eran Yahav
2016	J	`jnl`	Optimal Learning of Specifications from Examples. CoRR Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
2015	A	`conf`	ExcUseMe: Asking Users to Help in Item Cold-Start Recommendations. RecSys Michal Aharon, Oren Anava, Noa Avigdor-Elgrabli, Dana Drachsler-Cohen, Shahar Golan, Oren Somekh
2014	B	`conf`	LCD: Local Combining on Demand. OPODIS Dana Drachsler-Cohen, Erez Petrank