Dana Drachsler-Cohen

According to our database, Dana Drachsler-Cohen authored at least 22 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Verification of Neural Networks' Global Robustness.

Anan Kabaha, Dana Drachsler-Cohen

Proc. ACM Program. Lang., 2024

Verification of Neural Networks' Local Differential Classification Privacy.

Roie Reshef, Anan Kabaha, Olga Seleznova, Dana Drachsler-Cohen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Boosting Few-Pixel Robustness Verification via Covering Verification Designs.

Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Deep Learning Robustness Verification for Few-Pixel Attacks.

Yuval Shapira, Eran Avneri, Dana Drachsler-Cohen

Proc. ACM Program. Lang., April, 2023

One Pixel Adversarial Attacks via Sketched Programs.

Tom Yuviler, Dana Drachsler-Cohen

Proc. ACM Program. Lang., 2023

Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization.

Anan Kabaha, Dana Drachsler-Cohen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

2022

Boosting Robustness Verification of Semantic Feature Neighborhoods.

Anan Kabaha, Dana Drachsler-Cohen

Proceedings of the Static Analysis - 29th International Symposium, 2022

2020

VerX: Safety Verification of Smart Contracts.

Anton Permenev, Dimitar K. Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Config2Spec: Mining Network Specifications from Network Configurations.

Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin T. Vechev

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

2019

DL2: Training and Querying Neural Networks with Logic.

Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev

Proceedings of the 36th International Conference on Machine Learning, 2019

2018

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

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Practical concurrent traversals in search trees.

Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors.

Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin T. Vechev

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Securify: Practical Security Analysis of Smart Contracts.

Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin T. Vechev

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization.

Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Exact Programming by Example.

Dana Drachsler-Cohen

PhD thesis, 2017

Learning Disjunctions of Predicates.

Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav

Proceedings of the 30th Conference on Learning Theory, 2017

Synthesis with Abstract Examples.

Dana Drachsler-Cohen, Sharon Shoham, Eran Yahav

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Optimal Learning of Specifications from Examples.

Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav

CoRR, 2016

2015

ExcUseMe: Asking Users to Help in Item Cold-Start Recommendations.

Michal Aharon, Oren Anava, Noa Avigdor-Elgrabli, Dana Drachsler-Cohen, Shahar Golan, Oren Somekh

Proceedings of the 9th ACM Conference on Recommender Systems, 2015

2014

Practical concurrent binary search trees via logical ordering.

Dana Drachsler, Martin T. Vechev, Eran Yahav

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

LCD: Local Combining on Demand.

Dana Drachsler-Cohen, Erez Petrank

Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014