Filter by Keyword:

3 Results

Poster
Tue 1:00 Efficient Certified Defenses Against Patch Attacks on Image Classifiers
Jan Hendrik Metzen, Maksym Yatsura
Poster
Wed 9:00 Provably robust classification of adversarial examples with detection
Fatemeh Sheikholeslami, Ali Lotfi, Zico Kolter
Poster
Thu 1:00 Certify or Predict: Boosting Certified Robustness with Compositional Architectures
Mark Niklas Mueller, Mislav Balunovic, Martin Vechev