v1v2v3v4v5v6v7v8v9 (latest)

SoK: Certified Robustness for Deep Neural Networks

IEEE Symposium on Security and Privacy (IEEE S&P), 2020

9 September 2020

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

50 / 87 papers shown

Title
Provably Robust Adaptation for Language-Empowered Foundation Models Y. Lai Xiaoyu Xue Linghui Shen Yulun Wu Gaolei Li Song Guo Kai Zhou Bin Xiao AAML 152 1 0 09 Oct 2025
SoK: Systematic analysis of adversarial threats against deep learning approaches for autonomous anomaly detection systems in SDN-IoT networksJournal of Information Security and Applications (JISA), 2025 T. Yasarathna Nhien-An Le-Khac AAML 134 0 0 30 Sep 2025
An Investigation of Visual Foundation Models Robustness Sandeep Gupta Roberto Passerone AAML 124 0 0 22 Aug 2025
Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification Ryota Ueda Takami Sato Ken Kobayashi Kazuhide Nakata AAML 268 0 0 12 Jun 2025
Trustworthy Machine Learning via Memorization and the Granular Long-Tail: A Survey on Interactions, Tradeoffs, and Beyond Qiongxiu Li Xiaoyu Luo Yiyi Chen Johannes Bjerva 531 5 0 10 Mar 2025
ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs Yuchen Yang Shubham Ugare Yifan Zhao Gagandeep Singh Sasa Misailovic MQ 311 1 0 31 Oct 2024
Tightening convex relaxations of trained neural networks: a unified approach for convex and S-shaped activations Pablo Carrasco Gonzalo Muñoz 270 3 0 30 Oct 2024
PromptSmooth: Certifying Robustness of Medical Vision-Language Models via Prompt LearningInternational Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI), 2024 Noor Hussein Fahad Shamshad Muzammal Naseer Karthik Nandakumar AAML 321 10 0 29 Aug 2024
Adversarial Robustification via Text-to-Image Diffusion Models Daewon Choi Jongheon Jeong Huiwon Jang Jinwoo Shin DiffM 356 2 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 193 1 0 14 Jun 2024
ControlLoc: Physical-World Hijacking Attack on Visual Perception in Autonomous Driving Chen Ma Ningfei Wang Subrat Kishore Dutta Qian Wang Qi Alfred Chen Chao Shen AAML 186 4 0 09 Jun 2024
SlowPerception: Physical-World Latency Attack against Visual Perception in Autonomous Driving Chen Ma Ningfei Wang Subrat Kishore Dutta Qi Alfred Chen Chao Shen 278 2 0 09 Jun 2024
CTBENCH: A Library and Benchmark for Certified Training Yuhao Mao Stefan Balauca Martin Vechev OOD 514 10 0 07 Jun 2024
CR-UTP: Certified Robustness against Universal Text Perturbations on Large Language Models Qian Lou Xin Liang Jiaqi Xue Yancheng Zhang Rui Xie Mengxin Zheng AAML 267 0 0 04 Jun 2024
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation Yuan Xiao Shiqing Ma Juan Zhai Chunrong Fang Jinyuan Jia Zhenyu Chen AAML 201 1 0 02 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 168 1 0 25 May 2024
How Does Bayes Error Limit Probabilistic Robust Accuracy Ruihan Zhang Jun Sun AAML 206 3 0 23 May 2024
Certified Robust Accuracy of Neural Networks Are Bounded due to Bayes ErrorsInternational Conference on Computer Aided Verification (CAV), 2024 Ruihan Zhang Jun Sun AAML 236 7 0 19 May 2024
RS-Reg: Probabilistic and Robust Certified Regression Through Randomized Smoothing Aref Miri Rekavandi Olga Ohrimenko Benjamin I. P. Rubinstein AAML 201 3 0 14 May 2024
Espresso: Robust Concept Filtering in Text-to-Image Models Anudeep Das Vasisht Duddu Rui Zhang Nadarajah Asokan EGVM 486 11 0 30 Apr 2024
Certification of Speaker Recognition Models to Additive Perturbations Dmitrii Korzh Elvir Karimov Mikhail Aleksandrovich Pautov Oleg Y. Rogov Ivan Oseledets 277 5 0 29 Apr 2024
Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation Hanjiang Hu Jianglin Lan Changliu Liu 249 6 0 20 Apr 2024
How Real Is Real? A Human Evaluation Framework for Unrestricted Adversarial Examples Dren Fazlija Arkadij Orlov Johanna Schrader Monty-Maximilian Zühlke Michael Rohs Daniel Kudenko AAML 115 1 0 19 Apr 2024
Fortify the Guardian, Not the Treasure: Resilient Adversarial Detectors Raz Lapid Almog Dubin Moshe Sipper AAML 212 6 0 18 Apr 2024
Ti-Patch: Tiled Physical Adversarial Patch for no-reference video quality metrics Victoria Leonenkova E. Shumitskaya Anastasia Antsiferova D. Vatolin 307 4 0 15 Apr 2024
FCert: Certifiably Robust Few-Shot Classification in the Era of Foundation Models Yanting Wang Wei Zou Jinyuan Jia 241 3 0 12 Apr 2024
Improving Robustness to Model Inversion Attacks via Sparse Coding Architectures S. V. Dibbo Adam Breuer Juston S. Moore Michael Teti AAML 240 7 0 21 Mar 2024
COMMIT: Certifying Robustness of Multi-Sensor Fusion Systems against Semantic Attacks Zijian Huang Wenda Chu Linyi Li Chejian Xu Yue Liu AAML 212 1 0 04 Mar 2024
Trust Regions for Explanations via Black-Box Probabilistic Certification Amit Dhurandhar Swagatam Haldar Dennis L. Wei Karthikeyan N. Ramamurthy FAtt 391 3 0 17 Feb 2024
PROSAC: Provably Safe Certification for Machine Learning Models under Adversarial Attacks Ziquan Liu Zhuo Zhi Ilija Bogunovic Carsten Gerner-Beuerle Miguel R. D. Rodrigues AAML 244 2 0 04 Feb 2024
Security and Privacy Challenges of Large Language Models: A Survey B. Das M. H. Amini Yanzhao Wu PILM ELM 376 307 0 30 Jan 2024
Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks Fabian Badilla Marcos Goycoolea Gonzalo Muñoz Thiago Serra 282 8 0 27 Dec 2023
May the Noise be with you: Adversarial Training without Adversarial Examples Ayoub Arous A. F. López-Lopera Nael B. Abu-Ghazaleh Ihsen Alouani AAML OOD 94 0 0 12 Dec 2023
SoK: Unintended Interactions among Machine Learning Defenses and Risks Vasisht Duddu S. Szyller Nadarajah Asokan AAML 363 6 0 07 Dec 2023
Node-aware Bi-smoothing: Certified Robustness against Graph Injection Attacks Y. Lai Yulin Zhu Bailin Pan Wei Song AAML 327 11 0 07 Dec 2023
Improving the Robustness of Transformer-based Large Language Models with Dynamic AttentionNetwork and Distributed System Security Symposium (NDSS), 2023 Lujia Shen Yuwen Pu R. Beyah Changjiang Li Xuhong Zhang Chunpeng Ge Ting Wang AAML 163 10 0 29 Nov 2023
STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers Daqian Shao Lukas Fesser Marta Z. Kwiatkowska 176 0 0 28 Nov 2023
1-Lipschitz Layers Compared: Memory, Speed, and Certifiable RobustnessComputer Vision and Pattern Recognition (CVPR), 2023 Bernd Prach Fabio Brau Giorgio Buttazzo Christoph H. Lampert 226 11 0 28 Nov 2023
SoK: Pitfalls in Evaluating Black-Box Attacks Fnu Suya Anshuman Suri Tingwei Zhang Jingtao Hong Yuan Tian David Evans AAML 360 7 0 26 Oct 2023
CBD: A Certified Backdoor Detector Based on Local Dominant ProbabilityNeural Information Processing Systems (NeurIPS), 2023 Zhen Xiang Zidi Xiong Bo Li AAML 349 20 0 26 Oct 2023
Multi-scale Diffusion Denoised SmoothingNeural Information Processing Systems (NeurIPS), 2023 Jongheon Jeong Jinwoo Shin DiffM 321 13 0 25 Oct 2023
Hierarchical Randomized SmoothingNeural Information Processing Systems (NeurIPS), 2023 Yan Scholten Jan Schuchardt Aleksandar Bojchevski Stephan Günnemann AAML 471 9 0 24 Oct 2023
Malicious Agent Detection for Robust Multi-Agent Collaborative Perception Yangheng Zhao Zhen Xiang Sheng Yin Xianghe Pang Siheng Chen Yanfeng Wang AAML 303 10 0 18 Oct 2023
Towards Scenario-based Safety Validation for Autonomous Trains with Deep Generative ModelsInternational Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2023 Thomas Decker Ananta R. Bhattarai Michael Lebacher 156 5 0 16 Oct 2023
$Is Certifying $\ell_p$ Robustness Still Worthwhile?$ Is Certifying $\ell_p$ Robustness Still Worthwhile? Ravi Mangal Klas Leino Zifan Wang Kai Hu Weicheng Yu Corina S. Pasareanu Anupam Datta Matt Fredrikson AAML OOD 231 1 0 13 Oct 2023
Robust Offline Reinforcement Learning -- Certify the Confidence Interval Aayush Mishra Simon S. Du OffRL 301 0 0 28 Sep 2023
Pixel-wise Smoothing for Certified Robustness against Camera Motion PerturbationsInternational Conference on Artificial Intelligence and Statistics (AISTATS), 2023 Hanjiang Hu Zuxin Liu Linyi Li Jiacheng Zhu Ding Zhao 222 3 0 22 Sep 2023
Certified Robust Models with Slack Control and Large Lipschitz Constants M. Losch David Stutz Bernt Schiele Mario Fritz 182 4 0 12 Sep 2023
Efficient Query-Based Attack against ML-Based Android Malware Detection under Zero Knowledge SettingConference on Computer and Communications Security (CCS), 2023 Ping He Yifan Xia Xuhong Zhang R. Beyah AAML 169 23 0 05 Sep 2023
Towards Certified Probabilistic Robustness with High Accuracy Ruihan Zhang Peixin Zhang Jun Sun AAML 217 2 0 02 Sep 2023