SoK: Certified Robustness for Deep Neural Networks

9 September 2020

Papers citing "SoK: Certified Robustness for Deep Neural Networks"

36 / 36 papers shown

Title
ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs Yuchen Yang Shubham Ugare Yifan Zhao Gagandeep Singh Sasa Misailovic MQ 26 0 0 31 Oct 2024
Adversarial Robustification via Text-to-Image Diffusion Models Daewon Choi Jongheon Jeong Huiwon Jang Jinwoo Shin DiffM 47 1 0 26 Jul 2024
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks Matthias König Xiyue Zhang Holger H. Hoos Marta Kwiatkowska Jan N. van Rijn AAML 45 1 0 14 Jun 2024
SlowPerception: Physical-World Latency Attack against Visual Perception in Autonomous Driving Chen Ma Ningfei Wang Zhengyu Zhao Qi Alfred Chen Chao Shen 38 0 0 09 Jun 2024
Certifying Adapters: Enabling and Enhancing the Certification of Classifier Adversarial Robustness Jieren Deng Hanbin Hong A. Palmer Xin Zhou Jinbo Bi Kaleel Mahmood Yuan Hong Derek Aguiar AAML 40 0 0 25 May 2024
Ti-Patch: Tiled Physical Adversarial Patch for no-reference video quality metrics Victoria Leonenkova E. Shumitskaya Anastasia Antsiferova D. Vatolin 44 3 0 15 Apr 2024
Trust Regions for Explanations via Black-Box Probabilistic Certification Amit Dhurandhar Swagatam Haldar Dennis L. Wei K. Ramamurthy FAtt 37 2 0 17 Feb 2024
Certified Robust Models with Slack Control and Large Lipschitz Constants M. Losch David Stutz Bernt Schiele Mario Fritz 14 4 0 12 Sep 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 39 18 0 31 Jul 2023
Raising the Bar for Certified Adversarial Robustness with Diffusion Models Thomas Altstidl David Dobre Björn Eskofier Gauthier Gidel Leo Schwinn DiffM 37 7 0 17 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 32 0 29 Apr 2023
Characterizing the Optimal 0-1 Loss for Multi-class Classification with a Test-time Attacker Sihui Dai Wen-Luan Ding A. Bhagoji Daniel Cullina Ben Y. Zhao Haitao Zheng Prateek Mittal AAML 29 2 0 21 Feb 2023
A Rigorous Uncertainty-Aware Quantification Framework Is Essential for Reproducible and Replicable Machine Learning Workflows Line C. Pouchard Kristofer G. Reyes Francis J. Alexander Byung-Jun Yoon 27 2 0 13 Jan 2023
Confidence-aware Training of Smoothed Classifiers for Certified Robustness Jongheon Jeong Seojin Kim Jinwoo Shin AAML 21 7 0 18 Dec 2022
Accelerating Certified Robustness Training via Knowledge Transfer Pratik Vaishnavi Kevin Eykholt Amir Rahmati 21 7 0 25 Oct 2022
CARE: Certifiably Robust Learning with Reasoning via Variational Inference Jiawei Zhang Linyi Li Ce Zhang Bo-wen Li AAML OOD 40 8 0 12 Sep 2022
GeoECG: Data Augmentation via Wasserstein Geodesic Perturbation for Robust Electrocardiogram Prediction Jiacheng Zhu Jielin Qiu Zhuolin Yang Douglas Weber M. Rosenberg Emerson Liu Bo-wen Li Ding Zhao OOD 28 13 0 02 Aug 2022
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective Mark Huasong Meng Guangdong Bai Sin Gee Teo Zhe Hou Yan Xiao Yun Lin J. Dong AAML 23 43 0 24 Jun 2022
Certifying Some Distributional Fairness with Subpopulation Decomposition Mintong Kang Linyi Li Maurice Weber Yang Liu Ce Zhang Bo-wen Li OOD 56 15 0 31 May 2022
TPC: Transformation-Specific Smoothing for Point Cloud Models Wen-Hsuan Chu Linyi Li Bo-wen Li 3DPC 39 13 0 30 Jan 2022
Sequential Randomized Smoothing for Adversarially Robust Speech Recognition R. Olivier Bhiksha Raj AAML 41 11 0 05 Nov 2021
Certified Patch Robustness via Smoothed Vision Transformers Hadi Salman Saachi Jain Eric Wong Aleksander Mkadry AAML 70 58 0 11 Oct 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 V. Oseledets AAML 52 15 0 22 Sep 2021
Introduction to Neural Network Verification Aws Albarghouthi AAML 53 85 0 21 Sep 2021
Improved deterministic l2 robustness on CIFAR-10 and CIFAR-100 Sahil Singla Surbhi Singla S. Feizi AAML 38 54 0 05 Aug 2021
On the Certified Robustness for Ensemble Models and Beyond Zhuolin Yang Linyi Li Xiaojun Xu B. Kailkhura Tao Xie Bo-wen Li AAML 29 48 0 22 Jul 2021
Invisible for both Camera and LiDAR: Security of Multi-Sensor Fusion based Perception in Autonomous Driving Under Physical-World Attacks Yulong Cao* Ningfei Wang* Chaowei Xiao Dawei Yang Jin Fang Ruigang Yang Qi Alfred Chen Mingyan D. Liu Bo-wen Li AAML 24 217 0 17 Jun 2021
PatchGuard++: Efficient Provable Attack Detection against Adversarial Patches Chong Xiang Prateek Mittal AAML 33 42 0 26 Apr 2021
Globally-Robust Neural Networks Klas Leino Zifan Wang Matt Fredrikson AAML OOD 80 125 0 16 Feb 2021
RobustBench: a standardized adversarial robustness benchmark Francesco Croce Maksym Andriushchenko Vikash Sehwag Edoardo Debenedetti Nicolas Flammarion M. Chiang Prateek Mittal Matthias Hein VLM 234 677 0 19 Oct 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 37 34 0 06 Mar 2020
Certified Robustness of Community Detection against Adversarial Structural Perturbation via Randomized Smoothing Jinyuan Jia Binghui Wang Xiaoyu Cao Neil Zhenqiang Gong AAML 83 83 0 09 Feb 2020
Certified Robustness to Adversarial Word Substitutions Robin Jia Aditi Raghunathan Kerem Göksel Percy Liang AAML 183 291 0 03 Sep 2019
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 108 138 0 29 Nov 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 240 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016