Follow
Dana Drachsler-Cohen
Dana Drachsler-Cohen
Verified email at ee.technion.ac.il - Homepage
Title
Cited by
Cited by
Year
Securify: Practical security analysis of smart contracts
P Tsankov, A Dan, D Drachsler-Cohen, A Gervais, F Buenzli, M Vechev
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
11532018
Ai2: Safety and robustness certification of neural networks with abstract interpretation
T Gehr, M Mirman, D Drachsler-Cohen, P Tsankov, S Chaudhuri, ...
2018 IEEE Symposium on Security and Privacy (SP), 3-18, 2018
11002018
Verx: Safety verification of smart contracts
A Permenev, D Dimitrov, P Tsankov, D Drachsler-Cohen, M Vechev
2020 IEEE Symposium on Security and Privacy (SP), 1661-1677, 2020
3282020
Dl2: Training and querying neural networks with logic
M Fischer, M Balunovic, D Drachsler-Cohen, T Gehr, C Zhang, M Vechev
International Conference on Machine Learning, 1931-1941, 2019
2002019
Practical concurrent binary search trees via logical ordering
D Drachsler, M Vechev, E Yahav
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of …, 2014
1242014
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
B Bichsel, T Gehr, D Drachsler-Cohen, P Tsankov, M Vechev
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
772018
{Config2Spec}: Mining network specifications from network configurations
R Birkner, D Drachsler-Cohen, L Vanbever, M Vechev
17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020
602020
ExcUseMe: Asking users to help in item cold-start recommendations
M Aharon, O Anava, N Avigdor-Elgrabli, D Drachsler-Cohen, S Golan, ...
Proceedings of the 9th ACM Conference on Recommender Systems, 83-90, 2015
422015
Net2Text: Query-Guided Summarization of Network Forwarding Behaviors
R Birkner, D Drachsler-Cohen, L Vanbever, M Vechev
15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18), 2018
372018
Synthesis with Abstract Examples
D Drachsler-Cohen, S Shoham, E Yahav
International Conference on Computer Aided Verification, 254-278, 2017
312017
Automatically converting spreadsheet tables to relational tables
R Singh, S Gulwani, DD COHEN
US Patent 10,599,627, 2020
202020
Boosting robustness verification of semantic feature neighborhoods
A Kabaha, D Drachsler-Cohen
International Static Analysis Symposium, 299-324, 2022
102022
Smart exploration methods for mitigating item cold-start problem in collaborative filtering recommendation systems
OS Somekh, M Aharon, S Golan, N Avigdor-Elgrabli, DD Cohen
US Patent 9,910,898, 2018
102018
Smart exploration methods for mitigating item cold-start problem in collaborative filtering recommendation systems
OS Somekh, M Aharon, S Golan, N Avigdor-Elgrabli, DD Cohen
US Patent 9,910,898, 2018
102018
Learning Disjunctions of Predicates
NH Bshouty, D Drachsler-Cohen, M Vechev, E Yahav
Proceedings of Machine Learning Research vol 65, 1-23, 2017
102017
LCD: Local Combining on Demand
D Drachsler-Cohen, E Petrank
International Conference on Principles of Distributed Systems, 355-371, 2014
102014
Deep Learning Robustness Verification for Few-Pixel Attacks
Y Shapira, E Avneri, D Drachsler-Cohen
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 434-461, 2023
72023
One Pixel Adversarial Attacks via Sketched Programs
T Yuviler, D Drachsler-Cohen
Proceedings of the ACM on Programming Languages 7 (PLDI), 1970-1994, 2023
42023
Practical concurrent traversals in search trees
D Drachsler-Cohen, M Vechev, E Yahav
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of …, 2018
42018
Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization
A Kabaha, D Drachsler-Cohen
International Conference on Verification, Model Checking, and Abstract …, 2023
32023
The system can't perform the operation now. Try again later.
Articles 1–20