@inproceedings{NEURIPS2020_5fb37d5b, author = {Fischer, Marc and Baader, Maximilian and Vechev, Martin}, booktitle = {Advances in Neural Information Processing Systems}, editor = {H. Larochelle and M. Ranzato and R. Hadsell and M.F. Balcan and H. Lin}, pages = {8404--8417}, publisher = {Curran Associates, Inc.}, title = {Certified Defense to Image Transformations via Randomized Smoothing}, url = {https://proceedings.neurips.cc/paper_files/paper/2020/file/5fb37d5bbdbbae16dea2f3104d7f9439-Paper.pdf}, volume = {33}, year = {2020} }