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