Dana Drachsler-Cohen

Securify

Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen et al. · 2018 · 1K citations

Computing, Computer Science, Cybersecurity +17

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen et al. · 2018 · 813 citations · Full text

Computing, Computer Science, Artificial Intelligence +15

VerX: Safety Verification of Smart Contracts

Anton Permenev, Dimitar Dimitrov, Petar Tsankov et al. · 2020 · 237 citations · Full text

Computing, Computer Engineering, Computer Science +17

DL2: Training and Querying Neural Networks with Logic.

Marc Fischer, Mislav Balunović, Dana Drachsler-Cohen et al. · International Conference on Machine Learning · 2019 · 73 citations

Computing, Computer Science, Artificial Intelligence +9

DP-Finder

Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen et al. · 2018 · 58 citations

Computing, Computer Science, Algorithms +13