Deep Learning Robustness Verification for Few-Pixel Attacks. - Yuval Shapira; Eran Avneri; Dana Drachsler-Cohen (Proc. ACM Program. Lang., 2023)

Boosting Few-Pixel Robustness Verification via Covering Verification Designs. - Yuval Shapira; Naor Wiesel; Shahar Shabelman; Dana Drachsler-Cohen (CAV (2), 2024)