Dana Drachsler-Cohen

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 24

Top Topics

Abstract Interpretation

Numerical Optimization

Privacy Violations

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Publications

Anan Kabaha, Dana Drachsler-Cohen
Verification of Neural Networks' Global Robustness. CoRR (2024)
Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen
Boosting Few-Pixel Robustness Verification via Covering Verification Designs. CAV (2) (2024)
Anan Kabaha, Dana Drachsler-Cohen
Verification of Neural Networks' Global Robustness. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Roie Reshef, Anan Kabaha, Olga Seleznova, Dana Drachsler-Cohen
Verification of Neural Networks' Local Differential Classification Privacy. VMCAI (2) (2024)
Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen
Boosting Few-Pixel Robustness Verification via Covering Verification Designs. CoRR (2024)
Roie Reshef, Anan Kabaha, Olga Seleznova, Dana Drachsler-Cohen
Verification of Neural Networks Local Differential Classification Privacy. CoRR (2023)
Tom Yuviler, Dana Drachsler-Cohen
One Pixel Adversarial Attacks via Sketched Programs. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Anan Kabaha, Dana Drachsler-Cohen
Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization. VMCAI (2023)
Yuval Shapira, Eran Avneri, Dana Drachsler-Cohen
Deep Learning Robustness Verification for Few-Pixel Attacks. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Anan Kabaha, Dana Drachsler-Cohen
Boosting Robustness Verification of Semantic Feature Neighborhoods. SAS (2022)
Anan Kabaha, Dana Drachsler-Cohen
Boosting Robustness Verification of Semantic Feature Neighborhoods. CoRR (2022)
Anton Permenev, Dimitar K. Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev
VerX: Safety Verification of Smart Contracts. IEEE Symposium on Security and Privacy (2020)
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin T. Vechev
Config2Spec: Mining Network Specifications from Network Configurations. NSDI (2020)
Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev
DL2: Training and Querying Neural Networks with Logic. ICML (2019)
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. CCS (2018)
Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin T. Vechev
Securify: Practical Security Analysis of Smart Contracts. CCS (2018)
Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
Practical concurrent traversals in search trees. PPOPP (2018)
Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, Martin T. Vechev
Securify: Practical Security Analysis of Smart Contracts. CoRR (2018)
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin T. Vechev
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. IEEE Symposium on Security and Privacy (2018)
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin T. Vechev
Net2Text: Query-Guided Summarization of Network Forwarding Behaviors. NSDI (2018)
Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
Learning Disjunctions of Predicates. COLT (2017)
Dana Drachsler-Cohen, Sharon Shoham, Eran Yahav
Synthesis with Abstract Examples. CAV (1) (2017)
Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
Learning Disjunctions of Predicates. CoRR (2017)
Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
Optimal Learning of Specifications from Examples. CoRR (2016)
Michal Aharon, Oren Anava, Noa Avigdor-Elgrabli, Dana Drachsler-Cohen, Shahar Golan, Oren Somekh
ExcUseMe: Asking Users to Help in Item Cold-Start Recommendations. RecSys (2015)
Dana Drachsler-Cohen, Erez Petrank
LCD: Local Combining on Demand. OPODIS (2014)