Certified Defense to Image Transformations via Randomized Smoothing

27 February 2020

Marc Fischer

Maximilian Baader

Martin Vechev

AAML

ArXiv PDF HTML

Papers citing "Certified Defense to Image Transformations via Randomized Smoothing"

21 / 21 papers shown

Title
Accelerated Smoothing: A Scalable Approach to Randomized Smoothing Devansh Bhardwaj Kshitiz Kaushik Sarthak Gupta AAML 37 0 0 12 Feb 2024
Adversarial Examples Might be Avoidable: The Role of Data Concentration in Adversarial Robustness Ambar Pal Huaijin Hao Rene Vidal 26 8 0 28 Sep 2023
Training on Foveated Images Improves Robustness to Adversarial Attacks Muhammad Ahmed Shah Bhiksha Raj AAML 38 4 0 01 Aug 2023
Text-CRS: A Generalized Certified Robustness Framework against Textual Adversarial Attacks Xinyu Zhang Hanbin Hong Yuan Hong Peng Huang Binghui Wang Zhongjie Ba Kui Ren SILM 44 18 0 31 Jul 2023
Incremental Randomized Smoothing Certification Shubham Ugare Tarun Suresh Debangshu Banerjee Gagandeep Singh Sasa Misailovic AAML 38 8 0 31 May 2023
RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion Zhuoqun Huang Neil G. Marchant Keane Lucas Lujo Bauer O. Ohrimenko Benjamin I. P. Rubinstein AAML 32 15 0 31 Jan 2023
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks Xingwu Guo Ziwei Zhou Yueling Zhang Guy Katz Mengdi Zhang AAML 37 5 0 27 Jan 2023
Invariance-Aware Randomized Smoothing Certificates Jan Schuchardt Stephan Günnemann AAML 28 5 0 25 Nov 2022
Private and Reliable Neural Network Inference Nikola Jovanović Marc Fischer Samuel Steffen Martin Vechev 22 14 0 27 Oct 2022
A Simple Strategy to Provable Invariance via Orbit Mapping Kanchana Vaishnavi Gandikota Jonas Geiping Zorah Lähner Adam Czapliñski Michael Moeller AAML 3DPC 18 3 0 24 Sep 2022
Provable Defense Against Geometric Transformations Rem Yang Jacob S. Laurel Sasa Misailovic Gagandeep Singh AAML 33 15 0 22 Jul 2022
(De-)Randomized Smoothing for Decision Stump Ensembles Miklós Z. Horváth Mark Niklas Muller Marc Fischer Martin Vechev 30 3 0 27 May 2022
Certifying Model Accuracy under Distribution Shifts Aounon Kumar Alexander Levine Tom Goldstein S. Feizi OOD 27 7 0 28 Jan 2022
Certified Adversarial Defenses Meet Out-of-Distribution Corruptions: Benchmarking Robustness and Simple Baselines Jiachen Sun Akshay Mehra B. Kailkhura Pin-Yu Chen Dan Hendrycks Jihun Hamm Z. Morley Mao AAML 41 21 0 01 Dec 2021
CC-Cert: A Probabilistic Approach to Certify General Robustness of Neural Networks Mikhail Aleksandrovich Pautov Nurislam Tursynbek Marina Munkhoeva Nikita Muravev Aleksandr Petiushko Ivan Oseledets AAML 52 16 0 22 Sep 2021
Shared Certificates for Neural Network Verification Marc Fischer C. Sprecher Dimitar I. Dimitrov Gagandeep Singh Martin Vechev AAML 22 12 0 01 Sep 2021
Advances in adversarial attacks and defenses in computer vision: A survey Naveed Akhtar Ajmal Mian Navid Kardan M. Shah AAML 36 236 0 01 Aug 2021
Scalable Certified Segmentation via Randomized Smoothing Marc Fischer Maximilian Baader Martin Vechev 18 38 0 01 Jul 2021
Certified Robustness via Randomized Smoothing over Multiplicative Parameters of Input Transformations Nikita Muravev Aleksandr Petiushko AAML 18 7 0 28 Jun 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017