Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1711.00851
Cited By
v1
v2
v3 (latest)
Provable defenses against adversarial examples via the convex outer adversarial polytope
2 November 2017
Eric Wong
J. Zico Kolter
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
Github (387★)
Papers citing
"Provable defenses against adversarial examples via the convex outer adversarial polytope"
50 / 957 papers shown
Efficient Key-Based Adversarial Defense for ImageNet by Using Pre-trained Model
IEEE Open Journal of Signal Processing (IEEE Open J. Signal Process.), 2023
AprilPyone Maungmaung
Isao Echizen
Hitoshi Kiya
VLM
AAML
181
1
0
28 Nov 2023
Training robust and generalizable quantum models
Julian Berberich
Daniel Fink
Daniel Pranjić
C. Tutschku
Christian Holm
OOD
376
23
0
20 Nov 2023
Fast Certification of Vision-Language Models Using Incremental Randomized Smoothing
Ashutosh Nirala
Ameya Joshi
Chinmay Hegde
S Sarkar
VLM
346
0
0
15 Nov 2023
On The Relationship Between Universal Adversarial Attacks And Sparse Representations
IEEE Open Journal of Signal Processing (IEEE Open J. Signal Process.), 2023
Dana Weitzner
Raja Giryes
AAML
278
0
0
14 Nov 2023
Expressivity of ReLU-Networks under Convex Relaxations
Maximilian Baader
Mark Niklas Muller
Yuhao Mao
Martin Vechev
192
5
0
07 Nov 2023
DP-SGD with weight clipping
Antoine Barczewski
Jan Ramon
431
1
0
27 Oct 2023
Multi-scale Diffusion Denoised Smoothing
Neural Information Processing Systems (NeurIPS), 2023
Jongheon Jeong
Jinwoo Shin
DiffM
335
13
0
25 Oct 2023
PatchCURE: Improving Certifiable Robustness, Model Utility, and Computation Efficiency of Adversarial Patch Defenses
Chong Xiang
Tong Wu
Sihui Dai
Jonathan Petit
Suman Jana
Prateek Mittal
403
11
0
19 Oct 2023
Learn from the Past: A Proxy Guided Adversarial Defense Framework with Self Distillation Regularization
Yaohua Liu
Jiaxin Gao
Xianghao Jiao
Zhu Liu
Xin-Yue Fan
Risheng Liu
AAML
301
0
0
19 Oct 2023
Survey of Vulnerabilities in Large Language Models Revealed by Adversarial Attacks
Erfan Shayegani
Md Abdullah Al Mamun
Yu Fu
Pedram Zaree
Yue Dong
Nael B. Abu-Ghazaleh
AAML
461
228
0
16 Oct 2023
Provably Cost-Sensitive Adversarial Defense via Randomized Smoothing
Yuan Xin
Dingfan Chen
Michael Backes
Xiao Zhang
AAML
270
0
0
12 Oct 2023
Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks
IEEE Conference on Decision and Control (CDC), 2023
Brendon G. Anderson
Samuel Pfrommer
Somayeh Sojoudi
OOD
338
3
0
07 Oct 2023
SmoothLLM: Defending Large Language Models Against Jailbreaking Attacks
Avi Schwarzschild
Eric Wong
Hamed Hassani
George J. Pappas
AAML
580
391
0
05 Oct 2023
Splitting the Difference on Adversarial Training
USENIX Security Symposium (USENIX Security), 2023
Matan Levi
A. Kontorovich
236
8
0
03 Oct 2023
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization
Neural Information Processing Systems (NeurIPS), 2023
Mahyar Fazlyab
Taha Entesari
Aniket Roy
Ramalingam Chellappa
AAML
690
21
0
29 Sep 2023
Parameter-Saving Adversarial Training: Reinforcing Multi-Perturbation Robustness via Hypernetworks
Huihui Gong
Minjing Dong
Siqi Ma
S. Çamtepe
Surya Nepal
Chang Xu
AAML
OOD
194
1
0
28 Sep 2023
Provable Training for Graph Contrastive Learning
Neural Information Processing Systems (NeurIPS), 2023
Yue Yu
Tianlin Li
Mengmei Zhang
Nian Liu
Chuan Shi
322
15
0
25 Sep 2023
Projected Randomized Smoothing for Certified Adversarial Robustness
Samuel Pfrommer
Brendon G. Anderson
Somayeh Sojoudi
AAML
221
17
0
25 Sep 2023
Pixel-wise Smoothing for Certified Robustness against Camera Motion Perturbations
International Conference on Artificial Intelligence and Statistics (AISTATS), 2023
Hanjiang Hu
Zuxin Liu
Linyi Li
Jiacheng Zhu
Ding Zhao
227
3
0
22 Sep 2023
When to Trust AI: Advances and Challenges for Certification of Neural Networks
Conference on Computer Science and Information Systems (FedCSIS), 2023
Marta Kwiatkowska
Xiyue Zhang
AAML
346
12
0
20 Sep 2023
Reducing Adversarial Training Cost with Gradient Approximation
Huihui Gong
AAML
326
0
0
18 Sep 2023
Certifying LLM Safety against Adversarial Prompting
Aounon Kumar
Chirag Agarwal
Suraj Srinivas
Aaron Jiaxun Li
Soheil Feizi
Himabindu Lakkaraju
AAML
714
273
0
06 Sep 2023
Hindering Adversarial Attacks with Multiple Encrypted Patch Embeddings
Asia-Pacific Signal and Information Processing Association Annual Summit and Conference (APSIPA ASC), 2023
AprilPyone Maungmaung
Isao Echizen
Hitoshi Kiya
AAML
188
2
0
04 Sep 2023
General Lipschitz: Certified Robustness Against Resolvable Semantic Transformations via Transformation-Dependent Randomized Smoothing
European Conference on Artificial Intelligence (ECAI), 2023
Dmitrii Korzh
Alireza Azadbakht
Maryam Tahmasbi
Alireza Javaheri
AAML
218
0
0
17 Aug 2023
Not So Robust After All: Evaluating the Robustness of Deep Neural Networks to Unseen Adversarial Attacks
R. Garaev
Bader Rasheed
Adil Mehmood Khan
AAML
OOD
79
3
0
12 Aug 2023
Expediting Neural Network Verification via Network Reduction
International Conference on Automated Software Engineering (ASE), 2023
Yuyi Zhong
Ruiwei Wang
Siau-Cheng Khoo
AAML
229
5
0
07 Aug 2023
URET: Universal Robustness Evaluation Toolkit (for Evasion)
USENIX Security Symposium (USENIX Security), 2023
Kevin Eykholt
Taesung Lee
D. Schales
Jiyong Jang
Ian Molloy
Masha Zorin
AAML
268
8
0
03 Aug 2023
Adaptive Certified Training: Towards Better Accuracy-Robustness Tradeoffs
Zhakshylyk Nurlanov
Frank R. Schmidt
Florian Bernard
OOD
185
0
0
24 Jul 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems
Saddek Bensalem
Chih-Hong Cheng
Wei Huang
Xiaowei Huang
Changshun Wu
Xingyu Zhao
AAML
249
10
0
20 Jul 2023
PAC bounds of continuous Linear Parameter-Varying systems related to neural ODEs
Dániel Rácz
Mihaly Petreczky
Bálint Daróczy
171
0
0
07 Jul 2023
What Distributions are Robust to Indiscriminate Poisoning Attacks for Linear Learners?
Neural Information Processing Systems (NeurIPS), 2023
Fnu Suya
X. Zhang
Yuan Tian
David Evans
OOD
AAML
258
3
0
03 Jul 2023
Group-based Robustness: A General Framework for Customized Robustness in the Real World
Network and Distributed System Security Symposium (NDSS), 2023
Weiran Lin
Keane Lucas
Neo Eyal
Lujo Bauer
Michael K. Reiter
Mahmood Sharif
OOD
AAML
283
1
0
29 Jun 2023
Cooperation or Competition: Avoiding Player Domination for Multi-Target Robustness via Adaptive Budgets
Computer Vision and Pattern Recognition (CVPR), 2023
Yimu Wang
Dinghuai Zhang
Yihan Wu
Heng Huang
Hongyang R. Zhang
AAML
161
1
0
27 Jun 2023
[Re] Double Sampling Randomized Smoothing
A. Gupta
Sarthak Gupta
Abhay Kumar
Harsh Dugar
AAML
155
0
0
27 Jun 2023
Are aligned neural networks adversarially aligned?
Neural Information Processing Systems (NeurIPS), 2023
Nicholas Carlini
Milad Nasr
Christopher A. Choquette-Choo
Matthew Jagielski
Irena Gao
...
Pang Wei Koh
Daphne Ippolito
Katherine Lee
Florian Tramèr
Ludwig Schmidt
AAML
286
313
0
26 Jun 2023
Adversarial Robustness Certification for Bayesian Neural Networks
World Congress on Formal Methods (FM), 2023
Matthew Wicker
A. Patané
Luca Laurenti
Marta Z. Kwiatkowska
AAML
245
6
0
23 Jun 2023
Adversarial Resilience in Sequential Prediction via Abstention
Neural Information Processing Systems (NeurIPS), 2023
Surbhi Goel
Steve Hanneke
Shay Moran
Abhishek Shetty
234
11
0
22 Jun 2023
Structure-Aware Robustness Certificates for Graph Classification
Conference on Uncertainty in Artificial Intelligence (UAI), 2023
Pierre Osselin
Henry Kenlay
Xiaowen Dong
258
2
0
20 Jun 2023
Adversarial Training Should Be Cast as a Non-Zero-Sum Game
International Conference on Learning Representations (ICLR), 2023
Avi Schwarzschild
Fabian Latorre
George J. Pappas
Hamed Hassani
Volkan Cevher
AAML
312
15
0
19 Jun 2023
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
International Conference on Machine Learning (ICML), 2023
Steven Adams
A. Patané
Morteza Lahijanian
Luca Laurenti
AAML
314
8
0
19 Jun 2023
Understanding Certified Training with Interval Bound Propagation
International Conference on Learning Representations (ICLR), 2023
Yuhao Mao
Mark Niklas Muller
Marc Fischer
Martin Vechev
AAML
287
22
0
17 Jun 2023
Wasserstein distributional robustness of neural networks
Neural Information Processing Systems (NeurIPS), 2023
Xingjian Bai
Guangyi He
Yifan Jiang
J. Obłój
OOD
AAML
296
13
0
16 Jun 2023
Augment then Smooth: Reconciling Differential Privacy with Certified Robustness
Jiapeng Wu
Atiyeh Ashari Ghomi
David Glukhov
Jesse C. Cresswell
Franziska Boenisch
Nicolas Papernot
AAML
252
4
0
14 Jun 2023
How robust accuracy suffers from certified training with convex relaxations
Piersilvio De Bartolomeis
Jacob Clarysse
Amartya Sanyal
Fanny Yang
AAML
182
2
0
12 Jun 2023
Evaluating robustness of support vector machines with the Lagrangian dual approach
Yuting Liu
Hong Gu
Pan Qin
AAML
219
6
0
05 Jun 2023
Rethinking Adversarial Policies: A Generalized Attack Formulation and Provable Defense in RL
International Conference on Learning Representations (ICLR), 2023
Xiangyu Liu
Souradip Chakraborty
Yanchao Sun
Furong Huang
AAML
309
9
0
27 May 2023
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
International Symposium on Software Testing and Analysis (ISSTA), 2023
Zhiyi Xue
Si Liu
Zhaodi Zhang
Yiting Wu
Hao Fei
AAML
181
3
0
26 May 2023
Differentially-Private Decision Trees and Provable Robustness to Data Poisoning
D. Vos
Jelle Vos
Tianyu Li
Z. Erkin
S. Verwer
FedML
213
2
0
24 May 2023
Robust Classification via a Single Diffusion Model
International Conference on Machine Learning (ICML), 2023
Huanran Chen
Yinpeng Dong
Zhengyi Wang
Xiaohu Yang
Chen-Dong Duan
Hang Su
Jun Zhu
353
81
0
24 May 2023
Expressive Losses for Verified Robustness via Convex Combinations
International Conference on Learning Representations (ICLR), 2023
Alessandro De Palma
Rudy Bunel
Krishnamurthy Dvijotham
M. P. Kumar
Robert Stanforth
A. Lomuscio
AAML
364
25
0
23 May 2023
Previous
1
2
3
4
5
6
...
18
19
20
Next