paper-with-me

Papers

TSS: Transformation-Specific Smoothing for Robustness Certification

2020-02-27 · Linyi Li, Maurice Weber, Xiaojun Xu, Luka Rimanic, Bhavya Kailkhura, Tao Xie, Ce Zhang, Bo Li

As machine learning (ML) systems become pervasive, safeguarding their security is critical. However, recently it has been demonstrated that motivated adversaries are able to mislead ML systems by perturbing test data using semantic transformations. While there exists a rich body of research providing provable robustness guarantees for ML models against $\ell_p$ norm bounded adversarial perturbations, guarantees against semantic perturbations remain largely underexplored. In this paper, we provide TSS -- a unified framework for certifying ML robustness against general adversarial semantic transformations. First, depending on the properties of each transformation, we divide common transformations into two categories, namely resolvable (e.g., Gaussian blur) and differentially resolvable (e.g., rotation) transformations. For the former, we propose transformation-specific randomized smoothing strategies and obtain strong robustness certification. The latter category covers transformations that involve interpolation errors, and we propose a novel approach based on stratified sampling to certify the robustness. Our framework TSS leverages these certification strategies and combines with consistency-enhanced training to provide rigorous certification of robustness. We conduct extensive experiments on over ten types of challenging semantic transformations and show that TSS significantly outperforms the state of the art. Moreover, to the best of our knowledge, TSS is the first approach that achieves nontrivial certified robustness on the large-scale ImageNet dataset. For instance, our framework achieves 30.4% certified robust accuracy against rotation attack (within $\pm 30^\circ$) on ImageNet. Moreover, to consider a broader range of transformations, we show TSS is also robust against adaptive attacks and unforeseen image corruptions such as CIFAR-10-C and ImageNet-C.

📄 PDF Abstract BibTeX arXiv:2002.12398

Code (1)

AI-secure/semantic-randomized-smoothing 공식 구현 pytorch

Methods 이 논문이 사용한 방법론

Randomized Smoothing 설명 없음

Similar Papers 제목 키워드 기반

TPC: Transformation-Specific Smoothing for Point Cloud Models

2022-01-30 · Wenda Chu, Linyi Li, Bo Li

Point cloud models with neural network architectures have achieved great success and have been widely used in safety-critical applications, such as Lidar-based recognition systems in autonomous vehicles. However, such mo…

Autonomous Vehicles

Certified Defense to Image Transformations via Randomized Smoothing

2020-02-27 · NeurIPS 2020 12 · Marc Fischer, Maximilian Baader, Martin Vechev

We extend randomized smoothing to cover parameterized transformations (e.g., rotations, translations) and certify robustness in the parameter space (e.g., rotation angle). This is particularly challenging as interpolatio…

Adversarial DefenseProvable Adversarial Defense

Provably Cost-Sensitive Adversarial Defense via Randomized Smoothing

2023-10-12 · Yuan Xin, Dingfan Chen, Michael Backes, Xiao Zhang

As ML models are increasingly deployed in critical applications, robustness against adversarial perturbations is crucial. While numerous defenses have been proposed to counter such attacks, they typically assume that all…

Adversarial Defense

GSmooth: Certified Robustness against Semantic Transformations via Generalized Randomized Smoothing

2022-06-09 · Zhongkai Hao, Chengyang Ying, Yinpeng Dong, Hang Su 외

Certified defenses such as randomized smoothing have shown promise towards building reliable machine learning systems against $\ell_p$-norm bounded attacks. However, existing methods are insufficient or unable to provabl…

Pixel-wise Smoothing for Certified Robustness against Camera Motion Perturbations

2023-09-22 · Hanjiang Hu, Zuxin Liu, Linyi Li, Jiacheng Zhu 외

Deep learning-based visual perception models lack robustness when faced with camera motion perturbations in practice. The current certification process for assessing robustness is costly and time-consuming due to the ext…

Autonomous Driving