Alternatives and similar repositories for CNN-Cert:

Users that are interested in CNN-Cert are comparing it to the libraries listed below

• huanzhang12 / CROWN-IBP
  Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTor…
  ☆92Updated 3 years ago
• huanzhang12 / CertifiedReLURobustness
  Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://g…
  ☆30Updated 5 years ago
• tianzheng4 / Distributionally-Adversarial-Attack
  AAAI 2019 oral presentation
  ☆50Updated 8 months ago
• tcwangshiqi-columbia / GCP-CROWN
  The official repo for GCP-CROWN paper
  ☆13Updated 2 years ago
• Hadisalman / robust-verify-benchmark
  Benchmark for LP-relaxed robustness verification of ReLU-networks
  ☆41Updated 5 years ago
• llylly / Robustra
  A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]
  ☆10Updated 5 years ago
• labsix / adversarial-logit-pairing-analysis
  Analysis of Adversarial Logit Pairing
  ☆60Updated 6 years ago
• AI-secure / VeriGauge
  A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
  ☆88Updated 2 years ago
• sunblaze-ucb / blackbox-attacks
  Code used in 'Exploring the Space of Black-box Attacks on Deep Neural Networks' (https://arxiv.org/abs/1712.09491)
  ☆61Updated 7 years ago
• MadryLab / relu_stable
  ☆26Updated 2 years ago
• MadryLab / robust-features-code
  Code for "Robustness May Be at Odds with Accuracy"
  ☆92Updated 2 years ago
• tcwangshiqi-columbia / Interval-Attack
  Interval attacks (adversarial ML)
  ☆21Updated 5 years ago
• eth-sri / colt
  Convex Layerwise Adversarial Training (COLT)
  ☆28Updated 4 years ago
• ZhaoyangLyu / FROWN
  Fastened CROWN: Tightened Neural Network Robustness Certificates
  ☆10Updated 5 years ago
• carlini / nn_breaking_detection
  Code corresponding to the paper "Adversarial Examples are not Easily Detected..."
  ☆85Updated 7 years ago
• yangarbiter / adversarial-nonparametrics
  Robustness for Non-Parametric Classification: A Generic Attack and Defense
  ☆18Updated 2 years ago
• stanleybak / vnncomp2023
  Fourth edition of VNN COMP (2023)
  ☆16Updated last year
• klasleino / gloro
  Library for training globally-robust neural networks.
  ☆28Updated last year
• snu-mllab / parsimonious-blackbox-attack
  Official TensorFlow implementation of "Parsimonious Black-Box Adversarial Attacks via Efficient Combinatorial Optimization" (ICML 2019)
  ☆40Updated 4 years ago
• ZhaoyangLyu / POPQORN
  An Algorithm to Quantify Robustness of Recurrent Neural Networks
  ☆47Updated 4 years ago
• AI-secure / Certified-Robustness-SoK-Oldver
  This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on …
  ☆99Updated 2 years ago
• Bai-Li / STN-Code
  Code for Stability Training with Noise (STN)
  ☆21Updated 4 years ago
• MadryLab / blackbox-bandits
  Code for "Prior Convictions: Black-Box Adversarial Attacks with Bandits and Priors"
  ☆63Updated 5 years ago
• VeriDeep / DLV
  Safety Verification of Deep Neural Networks
  ☆50Updated 7 years ago
• thong3le / blackbox-attack
  Blackbox attacks for deep neural network models
  ☆69Updated 6 years ago
• microsoft / denoised-smoothing
  Provably defending pretrained classifiers including the Azure, Google, AWS, and Clarifai APIs
  ☆97Updated 3 years ago
• robust-ml / robust-ml.github.io
  A community-run reference for state-of-the-art adversarial example defenses.
  ☆49Updated 5 months ago
• huanzhang12 / ZOO-Attack
  ZOO: Zeroth Order Optimization based Black-box Attacks to Deep Neural Networks
  ☆169Updated 3 years ago
• IBM / CROWN-Robustness-Certification
  CROWN: A Neural Network Verification Framework for Networks with General Activation Functions
  ☆38Updated 6 years ago
• nesl / adversarial_genattack
  ☆54Updated 2 years ago