2024
Boosting Few-Pixel Robustness Verification via Covering Verification Designs
Yuval Shapira, Naor Wiesel, Shahar Shabelman and Dana Drachsler-Cohen
CAV 2024
Verification of Neural Networks’ Global Robustness
Anan Kabaha and Dana Drachsler-Cohen
OOPSLA 2024
Verification of Neural Networks’ Local Differential Classification Privacy
Roie Reshef, Anan Kabaha, Olga Seleznova and Dana Drachsler-Cohen
VMCAI 2024
2023
One Pixel Adversarial Attacks via Sketched Programs
Tom Yuviler and Dana Drachsler-Cohen
PLDI 2023
Deep Learning Robustness Verification for Few-Pixel Attacks
Yuval Shapira, Eran Avneri, Dana Drachsler-Cohen
OOPSLA 2023
Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization
Anan Kabaha and Dana Drachsler-Cohen
VMCAI 2023
2022
Boosting Robustness Verification of Semantic Feature Neighborhoods
Anan Kabaha and Dana Drachsler-Cohen
SAS 2022
VeNuS: Neural Network Robustness Specifications via Verifier-guided Optimization
Anan Kabaha and Dana Drachsler-Cohen
FCS 2022
2020
Config2Spec: Mining Network Specifications from Network Configurations VerX: Safety Verification of Smart Contracts |
2019
DL2: Training and Querying Neural Networks with Logic |
2018
Securify: Practical Security Analysis of Smart Contracts DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Practical Concurrent Traversals in Search Trees |
2017
Synthesis with Abstract Examples Learning Disjunctions of Predicates |
2015
ExcUseMe: Asking Users to Help in Item Cold-Start Recommendations |
2014
LCD: Local Combining on Demand Practical Concurrent Binary Search Trees via Logical Ordering |