Dana Drachsler-Cohen
Technion – Israel Institute of Technology(IL)
Publications by Year
Research Areas
Adversarial Robustness in Machine Learning, Machine Learning and Algorithms, Advanced Neural Network Applications, Privacy-Preserving Technologies in Data, Cryptography and Data Security
Most-Cited Works
- → Securify(2018)979 cited
- → AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation(2018)801 cited
- → VerX: Safety Verification of Smart Contracts(2020)234 cited
- DL2: Training and Querying Neural Networks with Logic.(2019)
- → DP-Finder(2018)56 cited
- → ExcUseMe(2015)26 cited
- → Synthesis with Abstract Examples(2017)22 cited
- Config2Spec: Mining Network Specifications from Network Configurations(2020)
- Net2Text: Query-Guided Summarization of Network Forwarding Behaviors(2018)
- → Boosting Robustness Verification of Semantic Feature Neighborhoods(2022)11 cited