Is Certifying ${\ell }_p$ Robustness Still Worthwhile?

Ravi Mangal, Klas Leino, Zifan Wang +5

Over the years, researchers have developed myriad attacks that exploit the ubiquity of adversarial examples, as well as defenses that aim to guard against the security vulnerabilit…