Yuval Shapira

According to our database, Yuval Shapira authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Boosting Few-Pixel Robustness Verification via Covering Verification Designs.

Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Deep Learning Robustness Verification for Few-Pixel Attacks.

Yuval Shapira, Eran Avneri, Dana Drachsler-Cohen

Proc. ACM Program. Lang., April, 2023